diff options
| author | Thomas Bauereiss | 2019-01-21 19:53:59 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-21 20:07:20 +0000 |
| commit | aeb0f82f67ff829cd7a4b57c638b44a07d39ba3b (patch) | |
| tree | 291bb39f4fdfc79986af7b389a51a9f64c62e36d /lib | |
| parent | 2d2774282688e337866979b619640d4323adad50 (diff) | |
Don't require manual set up of Isabelle session directories
Since Isabelle 2018, specifying the same directory both on the command
line and persistently in the user's ROOTS file is allowed, so we don't
have to choose between one or the other any more.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index f9c061b3..3ce9b9d8 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -16,16 +16,12 @@ all: thys thys: $(THYS) heap-img: thys $(EXTRA_THYS) ROOT - @echo '*** To build a heap image with the Sail library, please' - @echo '*** add 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 + isabelle build -D . manual: heap-img manual/Manual.thy manual/ROOT manual/document/root.tex cp output/document/session_graph.pdf manual/document/Sail_session_graph.pdf make -C $(RISCV) riscv_duopod - isabelle build -d manual -d $(RISCV)/generated_definitions/isabelle Sail-Manual + isabelle build -d . -d $(RISCV)/generated_definitions/isabelle -D manual Sail2_instr_kinds.thy: ../../src/lem_interp/sail2_instr_kinds.lem lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $< |