equal
deleted
inserted
replaced
9 |
9 |
10 ML \<open> |
10 ML \<open> |
11 Isabelle_System.with_tmp_dir "ghc" (fn tmp_dir => |
11 Isabelle_System.with_tmp_dir "ghc" (fn tmp_dir => |
12 let |
12 let |
13 val src_dir = Path.append tmp_dir (Path.explode "src"); |
13 val src_dir = Path.append tmp_dir (Path.explode "src"); |
14 val files = Generated_Files.write_files \<^theory>\<open>Haskell\<close> src_dir; |
14 val files = Generated_Files.get_files \<^theory>\<open>Haskell\<close>; |
|
15 val _ = List.app (Generated_Files.write_file src_dir) files; |
15 |
16 |
16 val modules = files |
17 val modules = files |
17 |> map (#1 #> Path.implode #> unsuffix ".hs" #> space_explode "/" #> space_implode "."); |
18 |> map (#path #> Path.implode #> unsuffix ".hs" #> space_explode "/" #> space_implode "."); |
18 val _ = |
19 val _ = |
19 GHC.new_project tmp_dir |
20 GHC.new_project tmp_dir |
20 {name = "isabelle", |
21 {name = "isabelle", |
21 depends = |
22 depends = |
22 ["bytestring", "containers", "network", "split", "threads", "utf8-string", "uuid"], |
23 ["bytestring", "containers", "network", "split", "threads", "utf8-string", "uuid"], |