diff options
| author | Thomas Bauereiss | 2017-06-13 16:19:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-06-13 16:19:49 +0100 |
| commit | e74b82c578216605fc8e0b54b1db62df26127282 (patch) | |
| tree | 18271cf09d419f66c173207710da666f5e751a35 /isabelle-lib | |
| parent | 00f3ebcd594d287719ebec5fc4671fa651010166 (diff) | |
Add Makefile and ROOT for Isabelle library
Diffstat (limited to 'isabelle-lib')
| -rw-r--r-- | isabelle-lib/Makefile | 41 | ||||
| -rw-r--r-- | isabelle-lib/ROOT | 6 |
2 files changed, 47 insertions, 0 deletions
diff --git a/isabelle-lib/Makefile b/isabelle-lib/Makefile new file mode 100644 index 00000000..bd4066cd --- /dev/null +++ b/isabelle-lib/Makefile @@ -0,0 +1,41 @@ +THYS = Sail_impl_base.thy Sail_values.thy State.thy Prompt.thy +LEMS = sail_impl_base.lem sail_values.lem state.lem prompt.lem + +.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: sail_impl_base.lem + lem -isa $< + +Sail_values.thy: sail_values.lem Sail_impl_base.thy + lem -isa $< + +State.thy: state.lem Sail_values.thy + lem -isa $< + +Prompt.thy: prompt.lem Sail_values.thy + lem -isa $< + +sail_impl_base.lem: ../src/lem_interp/sail_impl_base.lem + cp $< . + +sail_values.lem: ../src/gen_lib/sail_values.lem + cp $< . + +state.lem: ../src/gen_lib/state.lem + cp $< . + +prompt.lem: ../src/gen_lib/prompt.lem + cp $< . + +clean: + rm $(THYS) $(LEMS) + rm *Auxiliary.thy diff --git a/isabelle-lib/ROOT b/isabelle-lib/ROOT new file mode 100644 index 00000000..d79b99ba --- /dev/null +++ b/isabelle-lib/ROOT @@ -0,0 +1,6 @@ +session "Sail" = "LEM" + + options [document = false] + theories + Sail_values + State + Prompt |