From aeb0f82f67ff829cd7a4b57c638b44a07d39ba3b Mon Sep 17 00:00:00 2001 From: Thomas Bauereiss Date: Mon, 21 Jan 2019 19:53:59 +0000 Subject: 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. --- lib/isabelle/Makefile | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'lib') 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/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 $< -- cgit v1.2.3