# HG changeset patch
# User wenzelm
# Date 1521734448 -3600
# Node ID b2cdd24e83b608983937ad947d9926dc434c3280
# Parent  3e072441c96af78db58641784c96382a2a8e53d2
clarified signature: flexible base_dir;

diff -r 3e072441c96a -r b2cdd24e83b6 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Thu Mar 22 16:39:22 2018 +0100
+++ b/src/Pure/System/isabelle_system.scala	Thu Mar 22 17:00:48 2018 +0100
@@ -173,10 +173,10 @@
     File.platform_file(path)
   }
 
-  def tmp_file(name: String, ext: String = ""): JFile =
+  def tmp_file(name: String, ext: String = "", base_dir: JFile = isabelle_tmp_prefix()): JFile =
   {
     val suffix = if (ext == "") "" else "." + ext
-    val file = Files.createTempFile(isabelle_tmp_prefix().toPath, name, suffix).toFile
+    val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile
     file.deleteOnExit
     file
   }
@@ -217,9 +217,9 @@
     }
   }
 
-  def tmp_dir(name: String): JFile =
+  def tmp_dir(name: String, base_dir: JFile = isabelle_tmp_prefix()): JFile =
   {
-    val dir = Files.createTempDirectory(isabelle_tmp_prefix().toPath, name).toFile
+    val dir = Files.createTempDirectory(base_dir.toPath, name).toFile
     dir.deleteOnExit
     dir
   }