equal
deleted
inserted
replaced
1 (* Title: Tools/Haskell/Build.thy |
|
2 Author: Makarius |
|
3 *) |
|
4 |
|
5 section \<open>Build Isabelle/Haskell modules\<close> |
|
6 |
|
7 theory Build imports Haskell |
|
8 begin |
|
9 |
|
10 ML \<open> |
|
11 Isabelle_System.with_tmp_dir "ghc" (fn dir => |
|
12 let |
|
13 val _ = Haskell.install_sources dir; |
|
14 val (out, rc) = |
|
15 Isabelle_System.bash_output |
|
16 (cat_lines |
|
17 ["set -e", |
|
18 "cd " ^ File.bash_path dir, |
|
19 "\"$ISABELLE_GHC\" " ^ File.bash_paths Haskell.sources]); |
|
20 in if rc = 0 then writeln out else error out end) |
|
21 \<close> |
|
22 |
|
23 end |
|