diff options
| author | Thomas Bauereiss | 2017-09-29 16:20:08 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-09-29 16:20:08 +0100 |
| commit | 79d1e3940828ef18ec20ed1e3dacaafc1f9e24d1 (patch) | |
| tree | b5c4491777022983c8bea7c9c3e48e4a214752ec /isabelle-lib | |
| parent | 56aedab536c905d3423e488ec9110b738d03bbf7 (diff) | |
Move Isabelle library
Diffstat (limited to 'isabelle-lib')
| -rw-r--r-- | isabelle-lib/Makefile | 41 | ||||
| -rw-r--r-- | isabelle-lib/ROOT | 6 |
2 files changed, 0 insertions, 47 deletions
diff --git a/isabelle-lib/Makefile b/isabelle-lib/Makefile deleted file mode 100644 index 11cdbc27..00000000 --- a/isabelle-lib/Makefile +++ /dev/null @@ -1,41 +0,0 @@ -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 deleted file mode 100644 index d79b99ba..00000000 --- a/isabelle-lib/ROOT +++ /dev/null @@ -1,6 +0,0 @@ -session "Sail" = "LEM" + - options [document = false] - theories - Sail_values - State - Prompt |