mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
Dockerfile: opam update
This commit is contained in:
parent
f60cfcc435
commit
051a64c4b1
@ -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 && \
|
||||
|
Loading…
Reference in New Issue
Block a user