src/Cube/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 24877 81147215a12c
child 36862 952b2b102a0a
--- a/src/Cube/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
+++ b/src/Cube/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
@@ -24,10 +24,10 @@
 Pure-Cube: Pure $(LOG)/Pure-Cube.gz
 
 Pure:
-	@cd $(SRC)/Pure; $(ISATOOL) make Pure
+	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
 
 $(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
-	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube
+	@cd ..; $(ISABELLE_TOOL) usedir $(OUT)/Pure Cube
 
 
 ## clean