install sbt in script rather than CI

epfl-lara · Sep 9, 2024 · ee43898 · ee43898
1 parent cf735d3
commit ee43898
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
@@ -22,13 +22,10 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
-    - name: Install and unpack sbt
-      run: |
-        wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
-        tar xfz sbt-1.10.1.tgz
-        echo "PATH=./sbt/bin/:$PATH" >> "$GITHUB_ENV"
+    - name: Add local sbt to PATH
+      run: echo "$GITHUB_WORKSPACE/sbt/bin" >> $GITHUB_PATH
     - name: Install stainless and solvers
-      run: ./install_stainless_and_solvers.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
+      run: ./install_stainless_and_dependencies.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local
     - name: Add stainless to PATH
       run: echo "$GITHUB_WORKSPACE/.local/stainless/frontends/dotty/target/universal/stage/bin" >> $GITHUB_PATH
     - name: Test stainless availability

diff --git a/install_stainless_and_solvers.sh → install_stainless_and_dependencies.sh b/install_stainless_and_solvers.sh → install_stainless_and_dependencies.sh
@@ -6,6 +6,12 @@ mkdir -p "$SOLVERS_DIR"
 mkdir -p "$TEMP_DIR"
 mkdir -p "$STAINLESS_DIR"
 
+# sbt
+wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
+tar xfz sbt-1.10.1.tgz
+
+exit 0
+
 # cvc5
 wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip -O "$TEMP_DIR/downloaded.zip" -q
 unzip "$TEMP_DIR/downloaded.zip" -d "$TEMP_DIR"