src/FOLP/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 26408 6964c4799f47
child 36862 952b2b102a0a
     1.1 --- a/src/FOLP/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/FOLP/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -24,11 +24,11 @@
     1.4  FOLP: Pure $(OUT)/FOLP
     1.5  
     1.6  Pure:
     1.7 -	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.8 +	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
     1.9  
    1.10  $(OUT)/FOLP: $(OUT)/Pure FOLP.thy IFOLP.thy ROOT.ML classical.ML	\
    1.11    hypsubst.ML intprover.ML simp.ML simpdata.ML
    1.12 -	@$(ISATOOL) usedir -b $(OUT)/Pure FOLP
    1.13 +	@$(ISABELLE_TOOL) usedir -b $(OUT)/Pure FOLP
    1.14  
    1.15  
    1.16  ## FOLP-ex
    1.17 @@ -40,7 +40,7 @@
    1.18    ex/Prolog.ML ex/Prolog.thy ex/Propositional_Int.thy			\
    1.19    ex/Propositional_Cla.thy ex/Quantifiers_Int.thy			\
    1.20    ex/Quantifiers_Cla.thy
    1.21 -	@$(ISATOOL) usedir $(OUT)/FOLP ex
    1.22 +	@$(ISABELLE_TOOL) usedir $(OUT)/FOLP ex
    1.23  
    1.24  
    1.25  ## clean