src/Tools/Haskell/Test.thy
author wenzelm
Mon Nov 05 17:37:55 2018 +0100 (7 months ago)
changeset 69241 5426d266dcc5
parent 69239 src/Tools/Haskell/Build.thy@6cd985a78d6e
child 69381 4c9b4e2c5460
permissions -rw-r--r--
clarified names;
     1 (*  Title:      Tools/Haskell/Test.thy
     2     Author:     Makarius
     3 *)
     4 
     5 section \<open>Test build of Isabelle/Haskell modules\<close>
     6 
     7 theory Test 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