handle TMPDIR for docker

apalache-mc · Dec 13, 2024 · ce176b0 · ce176b0
1 parent 056941f
commit ce176b0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/universal/bin/apalache-mc b/src/universal/bin/apalache-mc
@@ -39,7 +39,11 @@ then
 fi
 
 # Avoid SANY concurrency issues: https://github.com/tlaplus/tlaplus/issues/688
-TD=`mktemp -d "$TMPDIR"/SANYXXXXXXXXXX`
+if [ -z "$TMPDIR" ]; then
+    TMPDIR="$(pwd)/tmp"
+    mkdir -p "$TMPDIR"
+fi
+TD=`mktemp -d -p $TMPDIR -t SANYXXXXXXXXXX`
 JVM_ARGS="${JVM_ARGS} -Djava.io.tmpdir=$TD"
 
 # Check whether the CLI args contains the debug flag