
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 \<open>Build Isabelle/Haskell modules\<close>
-
-theory Build imports Haskell
-begin
-
-ML \<open>
-  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)
-\<close>
-
-end




