[Dude] update dockerfile

prosyslab · Mar 2, 2023 · 4596085 · 4596085
1 parent 45fd9b9
commit 4596085
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/base/Dockerfile b/base/Dockerfile
@@ -1,6 +1,8 @@
 FROM prosyslab/classroom
 
-RUN opam install -y cohttp-lwt-unix
+RUN echo "1234" | sudo -S apt update
+RUN echo "1234" | sudo -S apt install -y libssl-dev
+RUN opam install -y cohttp-lwt-unix lwt_ssl
 RUN git clone https://github.com/prosyslab/dude.git
 WORKDIR dude
 RUN eval $(opam env); dune build dup_scan.exe