Dockerfile: opam update

This commit is contained in:
Raphaël Monat 2022-08-30 15:17:47 +02:00
parent f60cfcc435
commit 051a64c4b1

View File

@ -17,6 +17,7 @@ ENV OPAMVAR_catalaz3mode=1
# Get a switch with all the dependencies installed
RUN opam --cli=2.1 switch create catala ocaml-system && \
opam --cli=2.1 update && \
opam --cli=2.1 pin . --no-action && \
opam --cli=2.1 install . --with-test --with-doc --depext-only && \
opam --cli=2.1 install . --with-test --with-doc --deps-only && \