author | wenzelm |
Wed, 22 Sep 2021 12:03:59 +0200 | |
changeset 74349 | 4974c3697fee |
parent 74161 | 3f371ba2b4fc |
permissions | -rw-r--r-- |
69241 | 1 |
(* Title: Tools/Haskell/Test.thy |
69225 | 2 |
Author: Makarius |
3 |
*) |
|
4 |
||
69241 | 5 |
section \<open>Test build of Isabelle/Haskell modules\<close> |
69225 | 6 |
|
70082
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
7 |
theory Test |
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
8 |
imports Haskell |
69225 | 9 |
begin |
10 |
||
70082
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
11 |
compile_generated_files _ (in Haskell) |
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
12 |
where \<open>fn dir => |
69225 | 13 |
let |
70082
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
14 |
val modules = |
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
15 |
Generated_Files.get_files \<^theory>\<open>Haskell\<close> |
70047
96fe857a7a6f
clarified signature: more explicit operations for corresponding Isar commands;
wenzelm
parents:
69662
diff
changeset
|
16 |
|> map (#path #> Path.implode #> unsuffix ".hs" #> space_explode "/" #> space_implode "."); |
69446 | 17 |
val _ = |
70082
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
18 |
GHC.new_project dir |
69453 | 19 |
{name = "isabelle", |
69473 | 20 |
depends = |
74161 | 21 |
["array", "bytestring", "containers", "network", "split", "text", "time", "threads", "uuid"], |
69453 | 22 |
modules = modules}; |
70082
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
23 |
in |
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
24 |
writeln (Generated_Files.execute dir \<open>Build\<close> "mv Isabelle src && isabelle ghc_stack build") |
4f936de6d9b8
tuned -- prefer Isar command 'compile_generated_files';
wenzelm
parents:
70047
diff
changeset
|
25 |
end\<close> |
69225 | 26 |
|
27 |
end |