# HG changeset patch
# User wenzelm
# Date 1167929381 -3600
# Node ID 89d58ed34299e45a185ef0b7fed6498881a45d3f
# Parent  dfa5133dbe73125d3a1e559c34e4152f25e986dd
removed obsolete Pure-copied target;
added RAW, RAW-ProofGeneral to test target;

diff -r dfa5133dbe73 -r 89d58ed34299 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Thu Jan 04 17:17:48 2007 +0100
+++ b/src/Pure/IsaMakefile	Thu Jan 04 17:49:41 2007 +0100
@@ -8,7 +8,7 @@
 
 default: Pure
 images: Pure
-test:
+test: RAW RAW-ProofGeneral
 all: images test
 
 
@@ -74,17 +74,22 @@
 
 ## special targets
 
-Pure-copied:
-	@./mk -C
+RAW: $(OUT)/RAW
 
-RAW:
+$(OUT)/RAW: ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML		\
+  ML-Systems/polyml-5.0.ML ML-Systems/polyml-interrupt-timeout.ML		\
+  ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
+  ML-Systems/smlnj.ML
 	@./mk -r
 
-RAW-copied:
-	@./mk -Cr
+RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz
+
+$(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML
+	@./mk -R ProofGeneral/pgip_standalone.ML
 
 
 ## 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 $(OUT)/RAW $(LOG)/RAW.gz \
+	$(LOG)/RAW-ProofGeneral.gz