mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
Opam update for static binaries
This commit is contained in:
parent
0e3616d8ef
commit
166f0a732d
@ -32,6 +32,7 @@ docker run --rm -i registry.gitlab.inria.fr/lgesbert/catala-ci-images:ocaml.4.14
|
|||||||
cd catala &&
|
cd catala &&
|
||||||
echo "'"${CUSTOM_LINKING_CATALA_Z3}"'" >compiler/custom_linking.sexp &&
|
echo "'"${CUSTOM_LINKING_CATALA_Z3}"'" >compiler/custom_linking.sexp &&
|
||||||
echo "'"${CUSTOM_LINKING_CLERK}"'" >build_system/custom_linking.sexp &&
|
echo "'"${CUSTOM_LINKING_CLERK}"'" >build_system/custom_linking.sexp &&
|
||||||
|
opam --cli=2.1 update &&
|
||||||
opam --cli=2.1 install ./ninja_utils.opam ./clerk.opam ./catala.opam --destdir ../release.out/ &&
|
opam --cli=2.1 install ./ninja_utils.opam ./clerk.opam ./catala.opam --destdir ../release.out/ &&
|
||||||
mv ../release.out/bin/catala ../release.out/bin/catala-z3 &&
|
mv ../release.out/bin/catala ../release.out/bin/catala-z3 &&
|
||||||
opam --cli=2.1 remove z3 catala &&
|
opam --cli=2.1 remove z3 catala &&
|
||||||
|
Loading…
Reference in New Issue
Block a user