updates Dockerfile to work in 4.12.0 world

squaresLab · Sep 1, 2021 · 3cb7935 · 3cb7935
1 parent 7982415
commit 3cb7935
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -15,9 +15,10 @@ RUN apt-get update && \
       m4 && \
     echo "yes" >> /tmp/yes.txt && \
     opam init --disable-sandboxing -y < /tmp/yes.txt && \
-    opam switch create 4.05.0 && \
-    opam switch 4.05.0 && \
-    opam install -y cil
+    opam switch create 4.12.0 && \
+    opam switch 4.12.0 && \
+    opam install -y num && \
+    opam pin -y cil https://github.com/squareslab/cil.git
 
 RUN mkdir -p /opt/genprog
 WORKDIR /opt/genprog