equal
deleted
inserted
replaced
83 let |
83 let |
84 val template_path = Path.append dir (Path.basic name |> Path.ext "hsfiles"); |
84 val template_path = Path.append dir (Path.basic name |> Path.ext "hsfiles"); |
85 val _ = File.write template_path (project_template {depends = depends, modules = modules}); |
85 val _ = File.write template_path (project_template {depends = depends, modules = modules}); |
86 val {rc, err, ...} = |
86 val {rc, err, ...} = |
87 Bash.process ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^ |
87 Bash.process ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^ |
88 " --bare " ^ Bash.string (File.platform_path template_path)); |
88 " --bare " ^ File.bash_platform_path template_path); |
89 in if rc = 0 then () else error err end; |
89 in if rc = 0 then () else error err end; |
90 |
90 |
91 end; |
91 end; |