author | wenzelm |
Wed, 08 Jan 1997 12:58:17 +0100 | |
changeset 2488 | 8fa554c7a0bc |
child 2821 | b1dcacc4bc26 |
permissions | -rw-r--r-- |
# # $Id$ # # IsaMakefile for LCF # OUT = $(ISABELLE_OUTPUT_DIR) FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML $(OUT)/LCF: $(OUT)/FOL $(FILES) @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL LCF @chmod -w $@ $(OUT)/FOL: @cd ../FOL; $(ISATOOL) make test: ex.ML $(OUT)/LCF @$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \ -rq $(OUT)/LCF .PRECIOUS: $(OUT)/FOL $(OUT)/LCF