From 9dfad153b1305fa14b070a80104bc2cc7f2a974a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 14 Nov 2019 17:01:57 +0000
Subject: Perform isabelle check only when heap-img rule is used to avoid
 calling opam (which might not be present).

---
 lib/isabelle/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile
index 465b4c36..884159fb 100644
--- a/lib/isabelle/Makefile
+++ b/lib/isabelle/Makefile
@@ -18,10 +18,10 @@ 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 -b -d $(LEM_ISA_LIB) -D .
+	if [ -z "$(wildcard $(LEM_ISA_LIB)/ROOT)" ]; \
+	then echo isabelle-lib directory of Lem not found. Please set the LEM_ISA_LIB environment variable; false; \
+	else isabelle build -b -d $(LEM_ISA_LIB) -D . ; \
+	fi
 
 manual: heap-img manual/Manual.thy manual/ROOT manual/document/root.tex
 	cp output/document/session_graph.pdf manual/document/Sail_session_graph.pdf
-- 
cgit v1.2.3