From ccc11a48d38f634f98853fe940d1d484bb7b7fe8 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 31 Jan 2019 14:42:29 +0000
Subject: Build Isabelle heap image instead of just running session

---
 lib/isabelle/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile
index 039a81f1..465b4c36 100644
--- a/lib/isabelle/Makefile
+++ b/lib/isabelle/Makefile
@@ -21,7 +21,7 @@ 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 .
+	isabelle build -b -d $(LEM_ISA_LIB) -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
-- 
cgit v1.2.3