src/CCL/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 20140 98acc6d0fab6
child 36862 952b2b102a0a
     1.1 --- a/src/CCL/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/CCL/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -24,13 +24,13 @@
     1.4  CCL: FOL $(OUT)/CCL
     1.5  
     1.6  FOL:
     1.7 -	@cd $(SRC)/FOL; $(ISATOOL) make FOL
     1.8 +	@cd $(SRC)/FOL; $(ISABELLE_TOOL) make FOL
     1.9  
    1.10  $(OUT)/FOL: FOL
    1.11  
    1.12  $(OUT)/CCL: $(OUT)/FOL CCL.thy Fix.thy Gfp.thy Hered.thy Lfp.thy ROOT.ML \
    1.13    Set.thy Term.thy Trancl.thy Type.thy Wfd.thy
    1.14 -	@$(ISATOOL) usedir -b -r $(OUT)/FOL CCL
    1.15 +	@$(ISABELLE_TOOL) usedir -b -r $(OUT)/FOL CCL
    1.16  
    1.17  
    1.18  ## CCL-ex
    1.19 @@ -39,7 +39,7 @@
    1.20  
    1.21  $(LOG)/CCL-ex.gz: $(OUT)/CCL ex/Flag.thy ex/List.thy ex/Nat.thy ex/ROOT.ML \
    1.22    ex/Stream.thy
    1.23 -	@$(ISATOOL) usedir $(OUT)/CCL ex
    1.24 +	@$(ISABELLE_TOOL) usedir $(OUT)/CCL ex
    1.25  
    1.26  
    1.27  ## clean