allow overriding FSTAR_BRANCH

songlarknet · May 3, 2023 · 0daa8ae · 0daa8ae
1 parent 20fd9db
commit 0daa8ae
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.docker/build/install-deps.sh b/.docker/build/install-deps.sh
@@ -9,7 +9,12 @@ build_home="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 opam depext conf-gmp z3.4.8.5 conf-m4
 
 # Identify the F* branch
-FSTAR_BRANCH=$(jq -c -r '.BranchName' "$build_home"/config.json)
+if [[ -z "$FSTAR_BRANCH" ]] ; then
+    FSTAR_BRANCH=$(jq -c -r '.BranchName' "$build_home"/config.json)
+    if [[ -z "$FSTAR_BRANCH" ]] ; then
+        FSTAR_BRANCH=master
+    fi
+fi
 
 # Install F*
 [[ -n "$FSTAR_HOME" ]]