Modifying build to get own sbt version

epfl-lara · Sep 16, 2024 · a464c75 · a464c75
1 parent b602976
commit a464c75
Showing 1 changed file with 15 additions and 2 deletions.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -106,9 +106,22 @@ if [ -n "$SOLVERS_DIR" ]; then
 fi
 
 if [ "$SKIP_BUILD" = true ]; then
-  echo "************** Skipping build **************"
+    echo "************** Skipping build **************"
 else
-  sbt universal:stage
+    echo "************** sbt **************"
+    SBT_DIR=$SOLVERS_DIR
+    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
+    echo "  unpack $SBT_NAME"
+    cd $SBT_DIR
+    echo "  now I am in " `pwd`
+    tar xfz $SBT_NAME
+
+    echo Testing ${SBT_DIR}/sbt/bin/sbt --version
+    ${SBT_DIR}/sbt/bin/sbt --version
+    echo *******     ${SBT_DIR}/sbt/bin/sbt universal:stage ********
+    ${SBT_DIR}/sbt/bin/sbt universal:stage
   if [ $? -ne 0 ]; then
     echo "************** Failed to build the universal package **************"
     exit 1