--- a/src/Pure/Tools/ghc.ML Mon Feb 22 16:45:41 2021 +0100
+++ b/src/Pure/Tools/ghc.ML Mon Feb 22 16:54:33 2021 +0100
@@ -84,9 +84,10 @@
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_output_check
+ Isabelle_System.bash_process
("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^
- " --bare " ^ File.bash_platform_path template_path);
+ " --bare " ^ File.bash_platform_path template_path)
+ |> Process_Result.check;
in () end;
end;