Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML/ml_process.scala
changeset 72119 d115d50a19c0
parent 72118 84f716e72fa3
child 72557 6345cce0e576 
--- a/src/Pure/ML/ml_process.scala	Fri Aug 07 22:28:04 2020 +0200
+++ b/src/Pure/ML/ml_process.scala	Fri Aug 07 22:57:14 2020 +0200
@@ -110,7 +110,9 @@
 
     // ISABELLE_TMP
     val isabelle_tmp = Isabelle_System.tmp_dir("process")
-    val env_tmp = Map("ISABELLE_TMP" -> File.standard_path(isabelle_tmp))
+    val env_tmp =
+      Map("ISABELLE_TMP" -> File.standard_path(isabelle_tmp),
+        "POLYSTATSDIR" -> isabelle_tmp.getAbsolutePath)
 
     val env_functions = Map("ISABELLE_SCALA_FUNCTIONS" -> Scala.functions.mkString(","))
isabelle