CI: bootstrap F*

this has become necessary because of FStarLang/pulse#246, following project-everest/everest#121
project-everest · Jan 2, 2025 · 61e673b · 61e673b
1 parent f3ae96b
commit 61e673b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.docker/build/install-deps.sh b/.docker/build/install-deps.sh
@@ -37,6 +37,7 @@ if ! $skip_z3 ; then
     export PATH="$FSTAR_HOME/z3-versions:$PATH"
 fi
 $skip_build || OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$FSTAR_HOME"
+$skip_build || OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$FSTAR_HOME" bootstrap
 
 # Install other EverParse deps
 "$build_home"/install-other-deps.sh "${args[@]}"