Admin/Benchmarks/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 10099 44da60e5331b
child 33693 9d76c8080aea
     1.1 --- a/Admin/Benchmarks/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/Admin/Benchmarks/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -20,14 +20,14 @@
     1.4  ## HOL-datatype
     1.5  
     1.6  HOL:
     1.7 -	@cd $(SRC)/HOL; $(ISATOOL) make HOL
     1.8 +	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
     1.9  
    1.10  HOL-datatype: HOL $(LOG)/HOL-datatype.gz
    1.11  
    1.12  $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
    1.13    HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
    1.14    HOL-datatype/Verilog.thy
    1.15 -	@$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    1.16 +	@$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
    1.17  
    1.18  
    1.19  ## clean