python & perl

c04f1353 · Louis Gesbert · 364b7553 · c04f1353
Commit c04f1353 authored Jun 19, 2020 by Louis Gesbert
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

Dockerfile Dockerfile +3 -2

No files found.
--- a/Dockerfile
+++ b/Dockerfile
@@ -20,10 +20,11 @@ RUN make lib-ext
 RUN make
 RUN make install

-RUN apk add curl python2 perl
+RUN apk add curl python2
 RUN opam init -a --bare --disable-sandboxing
 RUN opam switch create $OCAML_VERSION --yes
-RUN opam install z3 --no-depexts --yes
+RUN opam install conf-python-2-7 --no-depexts --yes
+RUN opam install z3 --yes
 RUN make clean
 RUN opam exec -- make
 RUN opam exec -- make install