# HG changeset patch # User wenzelm # Date 1541435875 -3600 # Node ID 5426d266dcc5938f7ecd9485350b6ac6a7a8a583 # Parent 16ca270090b6d45aa613518bde6f5e3b7e2e1838 clarified names; diff -r 16ca270090b6 -r 5426d266dcc5 src/Tools/Haskell/Build.thy --- a/src/Tools/Haskell/Build.thy Mon Nov 05 17:06:50 2018 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,23 +0,0 @@ -(* Title: Tools/Haskell/Build.thy - Author: Makarius -*) - -section \Build Isabelle/Haskell modules\ - -theory Build imports Haskell -begin - -ML \ - Isabelle_System.with_tmp_dir "ghc" (fn dir => - let - val _ = Haskell.install_sources dir; - val (out, rc) = - Isabelle_System.bash_output - (cat_lines - ["set -e", - "cd " ^ File.bash_path dir, - "\"$ISABELLE_GHC\" " ^ File.bash_paths Haskell.sources]); - in if rc = 0 then writeln out else error out end) -\ - -end diff -r 16ca270090b6 -r 5426d266dcc5 src/Tools/Haskell/Test.thy --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/Haskell/Test.thy Mon Nov 05 17:37:55 2018 +0100 @@ -0,0 +1,23 @@ +(* Title: Tools/Haskell/Test.thy + Author: Makarius +*) + +section \Test build of Isabelle/Haskell modules\ + +theory Test imports Haskell +begin + +ML \ + Isabelle_System.with_tmp_dir "ghc" (fn dir => + let + val _ = Haskell.install_sources dir; + val (out, rc) = + Isabelle_System.bash_output + (cat_lines + ["set -e", + "cd " ^ File.bash_path dir, + "\"$ISABELLE_GHC\" " ^ File.bash_paths Haskell.sources]); + in if rc = 0 then writeln out else error out end) +\ + +end diff -r 16ca270090b6 -r 5426d266dcc5 src/Tools/ROOT --- a/src/Tools/ROOT Mon Nov 05 17:06:50 2018 +0100 +++ b/src/Tools/ROOT Mon Nov 05 17:37:55 2018 +0100 @@ -13,4 +13,4 @@ theories Haskell theories [condition = ISABELLE_GHC] - Build + Test