--- a/Admin/Benchmarks/IsaMakefile Sat Oct 04 16:05:08 2008 +0200
+++ b/Admin/Benchmarks/IsaMakefile Sat Oct 04 16:05:09 2008 +0200
@@ -20,14 +20,14 @@
## HOL-datatype
HOL:
- @cd $(SRC)/HOL; $(ISATOOL) make HOL
+ @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
HOL-datatype: HOL $(LOG)/HOL-datatype.gz
$(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
HOL-datatype/Verilog.thy
- @$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
+ @$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
## clean