From 1951607813f73688297840fc4ae4b3059b7528c5 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 23 Jan 2019 16:29:49 +0000
Subject: 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.
---
 lib/isabelle/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

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
-- 
cgit v1.2.3