From 1cc1d89f7dfd42e4c69269480d93058419377190 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 16 Sep 2024 11:11:28 +0200
Subject: [PATCH] Modifying build to get own sbt version

---
 stainless-ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index 71be840fa..bb86e8a26 100755
--- 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