--- a/src/Pure/Tools/ghc.ML Fri Dec 14 11:35:21 2018 +0100
+++ b/src/Pure/Tools/ghc.ML Fri Dec 14 11:35:58 2018 +0100
@@ -83,8 +83,8 @@
val template_path = Path.append dir (Path.basic name |> Path.ext "hsfiles");
val _ = File.write template_path (project_template {depends = depends, modules = modules});
val {rc, err, ...} =
- Bash.process ("cd " ^ File.bash_path dir ^
- "; isabelle ghc_stack new " ^ Bash.string name ^ " --bare " ^ File.bash_path template_path);
+ Bash.process ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^
+ " --bare " ^ Bash.string (File.platform_path template_path));
in if rc = 0 then () else error err end;
end;