From db4d3f2a496cb96ebdfbecdf66ceb83a0841ad55 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Wed, 11 Dec 2024 11:01:30 +0100
Subject: [PATCH] change permission of temp folder

---
 .github/workflows/stainless-CI.yml | 4 +++-
 stainless-ci.sh                    | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index a38774e24..494ddb913 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -28,7 +28,9 @@ jobs:
           echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE//tmp_java" >> "$GITHUB_ENV" && \
           echo "JAVA_OPTS=$JAVA_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
           echo "JVM_OPTS=$JVM_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
-          echo "SBT_OPTS=-Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR --sbt-dir $JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV"
+          echo "SBT_OPTS=-Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR --sbt-dir $JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
+          mkdir -p $JAVA_OPTS_TMP_DIR && \
+          chmod 777 $JAVA_OPTS_TMP_DIR
     - name: Install and unpack sbt
       run: |
         wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz
diff --git a/stainless-ci.sh b/stainless-ci.sh
index 1a74a70cb..b65566910 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -33,6 +33,7 @@ SBT_TEMP=$ROOT_DIR/sbt-temp
 # if TEMP_DIR is not set, set it to the default
 JAVA_OPTS_TMP_DIR=${JAVA_OPTS_TMP_DIR:-$ROOT_DIR/temporary}
 mkdir -p $JAVA_OPTS_TMP_DIR
+chmod 777 $JAVA_OPTS_TMP_DIR
 SBT_DIR=$ROOT_DIR/temp  # make better later
 SBT=${SBT_DIR}/sbt/bin/sbt