everest-move: get_fstar_z3.sh is now under .scripts in F*

It is symlinked into bin after a build.. so this was working, but better to not rely on that.
project-everest · Jan 12, 2025 · 711bed7 · 711bed7
1 parent 9d66ac8
commit 711bed7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.docker/build/everest-move-fun.sh b/.docker/build/everest-move-fun.sh
@@ -85,9 +85,9 @@ function everest_move() {
         # Try to update the get_fstar_z3.sh script, from the F* repo,
         # and commit it if updated.
         function update_get_z3_script () {
-          if [[ -f "FStar/bin/get_fstar_z3.sh" ]]; then
+          if [[ -f "FStar/.scripts/get_fstar_z3.sh" ]]; then
             echo "# THIS FILE AUTOMATICALLY UPDATED FROM F* REPO, DO NOT EDIT HERE" > get_fstar_z3.sh
-            cat "FStar/bin/get_fstar_z3.sh" >> get_fstar_z3.sh
+            cat "FStar/.scripts/get_fstar_z3.sh" >> get_fstar_z3.sh
             chmod +x get_fstar_z3.sh
 
             if ! [[ -z "$(git ls-files -m get_fstar_z3.sh)" ]]; then