isabelle: src/Tools/Haskell/Test.thy@a06b204527e6 (annotated)

69241 5426d266dcc5 clarified names; wenzelm parents: 69239 diff changeset	1	(* Title: Tools/Haskell/Test.thy
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	2	Author: Makarius
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	3	*)
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	4
69241 5426d266dcc5 clarified names; wenzelm parents: 69239 diff changeset	5	section \<open>Test build of Isabelle/Haskell modules\<close>
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	6
69241 5426d266dcc5 clarified names; wenzelm parents: 69239 diff changeset	7	theory Test imports Haskell
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	8	begin
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	9
69239 6cd985a78d6e support sub-directories, i.e. structure module names; wenzelm parents: 69225 diff changeset	10	ML \<open>
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	11	Isabelle_System.with_tmp_dir "ghc" (fn tmp_dir =>
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	12	let
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	13	val src_dir = Path.append tmp_dir (Path.explode "src");
c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	14	val files = Generated_Files.write_files \<^theory>\<open>Haskell\<close> src_dir;
c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	15
c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	16	val modules = files
69677 a06b204527e6 updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk> parents: 69473 diff changeset	17	\|> map (#1 #> Path.implode #> unsuffix ".hs" #> space_explode "/" #> space_implode ".");
69446 9cf0b79dfb7f more Haskell operations; wenzelm parents: 69444 diff changeset	18	val _ =
9cf0b79dfb7f more Haskell operations; wenzelm parents: 69444 diff changeset	19	GHC.new_project tmp_dir
69453 dcea1fffbfe6 more Haskell operations; wenzelm parents: 69446 diff changeset	20	{name = "isabelle",
69473 f71598c11fae more Haskell operations; wenzelm parents: 69459 diff changeset	21	depends =
f71598c11fae more Haskell operations; wenzelm parents: 69459 diff changeset	22	["bytestring", "containers", "network", "split", "threads", "utf8-string", "uuid"],
69453 dcea1fffbfe6 more Haskell operations; wenzelm parents: 69446 diff changeset	23	modules = modules};
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	24
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	25	val (out, rc) =
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	26	Isabelle_System.bash_output
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69385 diff changeset	27	(cat_lines ["set -e", "cd " ^ File.bash_path tmp_dir, "isabelle ghc_stack build 2>&1"]);
69239 6cd985a78d6e support sub-directories, i.e. structure module names; wenzelm parents: 69225 diff changeset	28	in if rc = 0 then writeln out else error out end)
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	29	\<close>
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	30
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: diff changeset	31	end

author	Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk>
	Wed, 16 Jan 2019 21:27:33 +0000
changeset 69677	a06b204527e6
parent 69473	f71598c11fae
child 70047	96fe857a7a6f
permissions	-rw-r--r--