equal
deleted
inserted
replaced
82 fun new_project dir {name, depends, modules} = |
82 fun new_project dir {name, depends, modules} = |
83 let |
83 let |
84 val template_path = dir + (Path.basic name |> Path.ext "hsfiles"); |
84 val template_path = 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 Isabelle_System.bash_process |
88 " --bare " ^ File.bash_platform_path template_path); |
88 ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^ |
|
89 " --bare " ^ File.bash_platform_path template_path); |
89 in if rc = 0 then () else error err end; |
90 in if rc = 0 then () else error err end; |
90 |
91 |
91 end; |
92 end; |