src/Pure/Tools/build.ML
changeset 68198 6710167e17af
parent 68179 da70c9e91135
child 68227 b95a43d8b826
     1.1 --- a/src/Pure/Tools/build.ML	Wed May 16 21:07:12 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Wed May 16 21:36:59 2018 +0200
     1.3 @@ -98,10 +98,9 @@
     1.4          not (null args) andalso #1 (hd args) = Markup.idN
     1.5        then
     1.6          let
     1.7 -          val path = Isabelle_System.create_tmp_path "export" "";
     1.8 +          val path = Path.expand (Path.explode ("$ISABELLE_EXPORT_TMP/export" ^ serial_string ()));
     1.9            val _ = File.open_output (fn out => List.app (File.output out) output) path;
    1.10 -          val file_name = Path.implode (Path.expand path);
    1.11 -        in inline_message (#2 function) (tl args @ [(Markup.fileN, file_name)]) end
    1.12 +        in inline_message (#2 function) (tl args @ [(Markup.fileN, Path.implode path)]) end
    1.13        else
    1.14          (case Markup.dest_loading_theory props of
    1.15            SOME name => writeln ("\floading_theory = " ^ name)