diff options
| author | Thomas Bauereiss | 2019-01-23 16:29:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-23 16:29:49 +0000 |
| commit | 1951607813f73688297840fc4ae4b3059b7528c5 (patch) | |
| tree | 46d7bd49af3bc307d2c2bae145eed5457d01c4f7 /lib | |
| parent | 93ac9f1762771d601c2b9eed9014ff471093358b (diff) | |
Don't let "make" fail unnecessarily in lib/isabelle
Only check for availability of Lem library if actually trying to build
an Isabelle heap image.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index 975810a1..039a81f1 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -8,9 +8,6 @@ EXTRA_THYS = Sail2_state_monad_lemmas.thy Sail2_state_lemmas.thy \ Sail2_operators_mwords_lemmas.thy Hoare.thy LEM_ISA_LIB?=$(shell opam config var lem:share)/isabelle-lib -ifeq ($(wildcard $(LEM_ISA_LIB)/ROOT),) -$(error isabelle-lib directory of Lem not found. Please set the LEM_ISA_LIB environment variable) -endif SAIL_RISCV ?= ../../../sail-riscv @@ -21,6 +18,9 @@ all: thys thys: $(THYS) heap-img: thys $(EXTRA_THYS) ROOT +ifeq ($(wildcard $(LEM_ISA_LIB)/ROOT),) + $(error isabelle-lib directory of Lem not found. Please set the LEM_ISA_LIB environment variable) +endif isabelle build -d $(LEM_ISA_LIB) -D . manual: heap-img manual/Manual.thy manual/ROOT manual/document/root.tex |