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/Tools/ghc.ML
changeset 74147 d030b988d470
parent 74142 0f051404f487 
--- a/src/Pure/Tools/ghc.ML	Thu Aug 12 13:55:45 2021 +0200
+++ b/src/Pure/Tools/ghc.ML	Thu Aug 12 14:18:46 2021 +0200
@@ -84,9 +84,9 @@
     val template_path = dir + (Path.basic name |> Path.ext "hsfiles");
     val _ = File.write template_path (project_template {depends = depends, modules = modules});
     val _ =
-      Isabelle_System.bash_process_script
-        ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^
-          " --bare " ^ File.bash_platform_path template_path)
+      Isabelle_System.bash_process
+        (Bash.script ("isabelle ghc_stack new " ^ Bash.string name ^
+          " --bare " ^ File.bash_platform_path template_path) |> Bash.cwd dir)
       |> Process_Result.check;
   in () end;
isabelle