Fix Dockerfile

kind2-mc · Oct 20, 2023 · 72ddbda · 72ddbda
1 parent 0a9b7fa
commit 72ddbda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -14,7 +14,7 @@ WORKDIR kind2-build
 
 # Note: we use remote OPAM repo until local one is updated
 RUN eval $(opam env) && \
-    opam repo set-url default https://opam.ocaml.org && opam update \
+    opam repo set-url default https://opam.ocaml.org && opam update && \
     opam pin -y add dolmen https://github.com/ModelChecker/dolmen.git#mcil && \
     opam pin -y add dolmen_type https://github.com/ModelChecker/dolmen.git#mcil && \
     opam pin -y add dolmen_loop https://github.com/ModelChecker/dolmen.git#mcil && \