Merge pull request #508 from mtzguido/installz3

install-deps.sh: install z3 with the F* script
FStarLang · Dec 23, 2024 · f1d7a3e · f1d7a3e
2 parents 4c619aa + f710c77
commit f1d7a3e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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