clarified names;
authorwenzelm
Mon Nov 05 17:37:55 2018 +0100 (6 months ago)
changeset 692415426d266dcc5
parent 69240 16ca270090b6
child 69242 c911716d29bb
clarified names;
src/Tools/Haskell/Build.thy
src/Tools/Haskell/Test.thy
src/Tools/ROOT
     1.1 --- a/src/Tools/Haskell/Build.thy	Mon Nov 05 17:06:50 2018 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,23 +0,0 @@
     1.4 -(*  Title:      Tools/Haskell/Build.thy
     1.5 -    Author:     Makarius
     1.6 -*)
     1.7 -
     1.8 -section \<open>Build Isabelle/Haskell modules\<close>
     1.9 -
    1.10 -theory Build imports Haskell
    1.11 -begin
    1.12 -
    1.13 -ML \<open>
    1.14 -  Isabelle_System.with_tmp_dir "ghc" (fn dir =>
    1.15 -    let
    1.16 -      val _ = Haskell.install_sources dir;
    1.17 -      val (out, rc) =
    1.18 -        Isabelle_System.bash_output
    1.19 -         (cat_lines
    1.20 -           ["set -e",
    1.21 -            "cd " ^ File.bash_path dir,
    1.22 -            "\"$ISABELLE_GHC\" " ^ File.bash_paths Haskell.sources]);
    1.23 -    in if rc = 0 then writeln out else error out end)
    1.24 -\<close>
    1.25 -
    1.26 -end
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/Tools/Haskell/Test.thy	Mon Nov 05 17:37:55 2018 +0100
     2.3 @@ -0,0 +1,23 @@
     2.4 +(*  Title:      Tools/Haskell/Test.thy
     2.5 +    Author:     Makarius
     2.6 +*)
     2.7 +
     2.8 +section \<open>Test build of Isabelle/Haskell modules\<close>
     2.9 +
    2.10 +theory Test imports Haskell
    2.11 +begin
    2.12 +
    2.13 +ML \<open>
    2.14 +  Isabelle_System.with_tmp_dir "ghc" (fn dir =>
    2.15 +    let
    2.16 +      val _ = Haskell.install_sources dir;
    2.17 +      val (out, rc) =
    2.18 +        Isabelle_System.bash_output
    2.19 +         (cat_lines
    2.20 +           ["set -e",
    2.21 +            "cd " ^ File.bash_path dir,
    2.22 +            "\"$ISABELLE_GHC\" " ^ File.bash_paths Haskell.sources]);
    2.23 +    in if rc = 0 then writeln out else error out end)
    2.24 +\<close>
    2.25 +
    2.26 +end
     3.1 --- a/src/Tools/ROOT	Mon Nov 05 17:06:50 2018 +0100
     3.2 +++ b/src/Tools/ROOT	Mon Nov 05 17:37:55 2018 +0100
     3.3 @@ -13,4 +13,4 @@
     3.4    theories
     3.5      Haskell
     3.6    theories [condition = ISABELLE_GHC]
     3.7 -    Build
     3.8 +    Test