src/Cube/IsaMakefile
changeset 17453 eccff680177d
parent 17252 e352f65d5893
child 24877 81147215a12c
--- a/src/Cube/IsaMakefile	Sat Sep 17 12:18:08 2005 +0200
+++ b/src/Cube/IsaMakefile	Sat Sep 17 12:50:57 2005 +0200
@@ -6,9 +6,9 @@
 
 ## targets
 
-default: Cube
-images: Cube
-test: Cube-ex
+default: Pure-Cube
+images:
+test: Pure-Cube
 all: images test
 
 
@@ -19,26 +19,20 @@
 LOG = $(OUT)/log
 
 
-## Cube
+## Pure-Cube
 
-Cube: Pure $(OUT)/Cube
+Pure-Cube: Pure $(LOG)/Pure-Cube.gz
 
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
-$(OUT)/Cube: $(OUT)/Pure Cube.thy ROOT.ML
-	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
-
+Pure-Cube: Pure $(LOG)/Pure-Cube.gz
 
-## Cube-ex
-
-Cube-ex: Cube $(LOG)/Cube-ex.gz
-
-$(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.thy ex/ROOT.ML
-	@$(ISATOOL) usedir $(OUT)/Cube ex
+$(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
+	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube
 
 
 ## clean
 
 clean:
-	@rm -f $(OUT)/Cube $(LOG)/Cube.gz $(LOG)/Cube-ex.gz
+	@rm -f $(LOG)/Pure-Cube.gz