src/LCF/IsaMakefile
changeset 6213 f5bdd6497e08
parent 4905 be73ddff6c5a
child 17246 0f22089c6b9e
equal deleted inserted replaced
6212:974310f9ca7d 6213:f5bdd6497e08
    26 FOL:
    26 FOL:
    27 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
    27 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
    28 
    28 
    29 $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
    29 $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
    30   pair.thy simpdata.ML
    30   pair.thy simpdata.ML
    31 	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
    31 	@$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
    32 
    32 
    33 
    33 
    34 ## LCF-ex
    34 ## LCF-ex
    35 
    35 
    36 LCF-ex: LCF $(LOG)/LCF-ex.gz
    36 LCF-ex: LCF $(LOG)/LCF-ex.gz