# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1327413924 0
# Node ID 62e1d888aaccbc7db464cb5fc2c209d2f1f70508
# Parent  d79e936e30ea00e689bf342f4420cad69af65040
added a session entry in order to quickly build the heap file (tests took too long)

diff -r d79e936e30ea -r 62e1d888aacc IsaMakefile
--- a/IsaMakefile	Mon Jan 16 13:53:35 2012 +0000
+++ b/IsaMakefile	Tue Jan 24 14:05:24 2012 +0000
@@ -13,15 +13,22 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated
+USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets
+
+## Nominal2                                                                                                             
+
+session: $(LOG)/HOL-Nominal2.gz
+
+$(LOG)/HOL-Nominal2.gz: Nominal/FROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) -f FROOT.ML -b -d "" HOL Nominal2
 
 
-## Nominal2
+## tests
 
-tests: $(LOG)/HOL-Nominal2.gz
+tests: $(LOG)/HOL-Nominal2-test.gz
 
-$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2
+$(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) HOL Nominal2
 
 ## ESOP Paper