(TEMP) CI: compile Pulse with z3 4.8.5

project-everest · Dec 22, 2024 · 35a2f66 · 35a2f66
1 parent 5e27207
commit 35a2f66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/install-other-deps.sh b/.docker/build/install-other-deps.sh
@@ -22,6 +22,6 @@ PULSE_BRANCH=$(jq -c -r '.RepoVersions.pulse_version' "$build_home"/config.json
 # Install Pulse and its dependencies
 [[ -n "$PULSE_HOME" ]]
 git clone --branch $PULSE_BRANCH https://github.com/FStarLang/pulse "$PULSE_HOME"
-OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$PULSE_HOME"
+OTHERFLAGS='--admit_smt_queries true --z3version 4.8.5' make -j 24 -C "$PULSE_HOME"
 
 opam install hex re ctypes sha sexplib