# HG changeset patch
# User wenzelm
# Date 1191701238 -7200
# Node ID c827d25b2983d2c945c70b8ff3061bedd8def175
# Parent  48e2168b0ea944bc6795e2b240f483b03a4478f4
added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization);

diff -r 48e2168b0ea9 -r c827d25b2983 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Oct 06 22:07:17 2007 +0200
+++ b/src/Pure/IsaMakefile	Sat Oct 06 22:07:18 2007 +0200
@@ -8,7 +8,7 @@
 
 default: Pure
 images: Pure
-test: RAW
+test: RAW Pure-ProofGeneral
 all: images test
 
 
@@ -79,6 +79,12 @@
 
 ## special targets
 
+Pure-ProofGeneral: Pure $(LOG)/Pure-ProofGeneral.gz
+
+$(LOG)/Pure-ProofGeneral.gz: $(OUT)/Pure$(ML_SUFFIX) ProofGeneral/proof_general_keywords.ML
+	@$(ISATOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral
+
+
 RAW: $(OUT)/RAW
 
 $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading.ML	\
@@ -94,4 +100,5 @@
 ## clean
 
 clean:
-	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz
+	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \
+          $(OUT)/RAW $(LOG)/RAW.gz