Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ISABELLE_TOOL;
authorwenzelm
Sat, 17 Oct 2009 15:55:57 +0200
changeset 32965 ecb746bca732
parent 32964 2d7e1ab55037
child 32966 5b21661fe618
ISABELLE_TOOL;
Admin/Benchmarks/HOL-datatype/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/Admin/Benchmarks/HOL-datatype/IsaMakefile	Sat Oct 17 15:42:36 2009 +0200
+++ b/Admin/Benchmarks/HOL-datatype/IsaMakefile	Sat Oct 17 15:55:57 2009 +0200
@@ -20,13 +20,13 @@
 ## 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)/HOLBrackin.thy Instructions.thy SML.thy \
   Verilog.thy
-	@cd ..; $(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
+	@cd ..; $(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
 
 
 ## clean
isabelle