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