From 1f0c70dcdfa7b66f5982dc566da7d890513ba456 Mon Sep 17 00:00:00 2001
From: Sacha Ayoun <sachaayoun@gmail.com>
Date: Fri, 14 Jun 2024 15:04:42 +0100
Subject: [PATCH] and yet more

Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 8be70d60..36237351 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ ARG DEBIAN_FRONTEND=noninteractive
 
 RUN sudo apt-get update
 
-RUN sudo apt-get install libgmp-dev pkg-config python3 -y
+RUN sudo apt-get install libgmp-dev pkg-config libsqlite3-dev python3 -y
 
 RUN mkdir /home/opam/app