diff options
| author | Alasdair Armstrong | 2017-10-04 10:58:58 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-04 10:58:58 +0100 |
| commit | 6513ac38bb1940046168cd107e3aae8381d3e537 (patch) | |
| tree | b5e32b58bf11e1f771acd46653bb69f7ed6ec99c /lib/isabelle | |
| parent | 93ecc5f82d5b1308b58cbf47a0ec91ec64f43ca1 (diff) | |
| parent | ddc8421b1d51dd76aeb6035e2ebb0fbb64db9cb7 (diff) | |
Merge branch 'experiments' of https://bitbucket.org/Peter_Sewell/sail into experiments
Diffstat (limited to 'lib/isabelle')
| -rw-r--r-- | lib/isabelle/Makefile | 34 | ||||
| -rw-r--r-- | lib/isabelle/ROOT | 18 |
2 files changed, 52 insertions, 0 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile new file mode 100644 index 00000000..f340b81b --- /dev/null +++ b/lib/isabelle/Makefile @@ -0,0 +1,34 @@ +THYS = Sail_impl_base.thy Sail_values.thy Sail_operators.thy Sail_operators_mwords.thy State.thy Prompt.thy + +.PHONY: all heap-img clean + +all: heap-img + +heap-img: $(THYS) + @echo '*** To build a heap image with the Sail library, please' + @echo '*** add the ROOT file in this directory to your ROOTS file' + @echo '*** (e.g. $$HOME/.isabelle/Isabelle<version>/ROOTS)' + @echo '*** and add the isabelle binary to your PATH.' + isabelle build -b Sail + +Sail_impl_base.thy: ../../src/lem_interp/sail_impl_base.lem + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Sail_values.thy: ../../src/gen_lib/sail_values.lem Sail_impl_base.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Sail_operators.thy: ../../src/gen_lib/sail_operators.lem Sail_values.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_values.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +State.thy: ../../src/gen_lib/state.lem Sail_values.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Prompt.thy: ../../src/gen_lib/prompt.lem Sail_values.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +clean: + -rm $(THYS) + -rm *Auxiliary.thy diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT new file mode 100644 index 00000000..7e90cdf0 --- /dev/null +++ b/lib/isabelle/ROOT @@ -0,0 +1,18 @@ +session "Sail" = "LEM" + + options [document = false] + theories + Sail_values + State + Prompt + Sail_operators + Sail_operators_mwords + +(*session "Sail" = "Sail_Base" + + options [document = false] + theories + Sail_operators + +session "Sail_Word" = "Sail_Base" + + options [document = false] + theories + Sail_operators_mwords*) |