Modifying build to get own sbt version

epfl-lara · Sep 16, 2024 · 1cc1d89 · 1cc1d89
1 parent a464c75
commit 1cc1d89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -109,7 +109,7 @@ if [ "$SKIP_BUILD" = true ]; then
     echo "************** Skipping build **************"
 else
     echo "************** sbt **************"
-    SBT_DIR=$SOLVERS_DIR
+    SBT_DIR="temp"  # make better later
     mkdir -p $SBT_DIR
     SBT_NAME="sbt-1.10.1.tgz"
     wget https://github.com/sbt/sbt/releases/download/v1.10.1/$SBT_NAME -O $SBT_DIR/$SBT_NAME --no-verbose