# HG changeset patch
# User wenzelm
# Date 1693595054 -7200
# Node ID adf227c06812bbfe0e02820504cdad321f53ac19
# Parent  fa18208fd7bdac4d4df5cc2f25482ec44fa1d87b
more robust $ISABELLE_TMP_PREFIX on windows: avoid location within Cygwin root, i.e. inside the program directory (see also ff92d6edff2c and 1df53737c59b);

diff -r fa18208fd7bd -r adf227c06812 etc/settings
--- a/etc/settings	Fri Sep 01 21:01:56 2023 +0200
+++ b/etc/settings	Fri Sep 01 21:04:14 2023 +0200
@@ -82,7 +82,11 @@
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
 
 # Location for temporary files (should be on a local file system).
-ISABELLE_TMP_PREFIX="/tmp/isabelle-${USER:-$LOGNAME}"
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+  ISABELLE_TMP_PREFIX="$TMPDIR/isabelle"
+else
+  ISABELLE_TMP_PREFIX="/tmp/isabelle-${USER:-$LOGNAME}"
+fi
 
 # Heap locations.
 ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"