From b5fad85eb4ad4af4959d183175c9708a88748d7a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Fri, 20 Dec 2024 10:47:25 -0800 Subject: [PATCH] install-deps.sh: install z3 with the F* script The standalone build is currently not installing Z3 as it was removed from the OPAM dependencies. Use the F*-provided script to set it up. --- .docker/build/install-deps.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.docker/build/install-deps.sh b/.docker/build/install-deps.sh index d1da94ea..539b51e9 100755 --- a/.docker/build/install-deps.sh +++ b/.docker/build/install-deps.sh @@ -19,5 +19,7 @@ git clone --branch $FSTAR_BRANCH https://github.com/FStarLang/FStar "$FSTAR_HOME opam install --deps-only "$FSTAR_HOME/fstar.opam" OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$FSTAR_HOME" +sudo "$FSTAR_HOME/bin/get_fstar_z3.sh" "/usr/local/bin" + # Install other deps "$build_home"/install-other-deps.sh