Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
authorwenzelm
Sun, 07 Feb 2021 17:00:03 +0100
changeset 73229 5be512af2a86
parent 73228 0575cfd2ecfc
child 73230 d1bc5a376cf9
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
src/Pure/System/bash.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/bash.ML	Sun Feb 07 16:31:43 2021 +0100
+++ b/src/Pure/System/bash.ML	Sun Feb 07 17:00:03 2021 +0100
@@ -184,7 +184,8 @@
   end);
 
 fun process_scala script =
-  Scala.function "bash_process" script
+  Scala.function "bash_process"
+    ("export ISABELLE_TMP=" ^ string (getenv "ISABELLE_TMP") ^ "\n" ^ script)
   |> YXML.parse_body
   |>
     let open XML.Decode in
isabelle