equal
deleted
inserted
replaced
16 #Makes FOL if this file is ABSENT -- but not |
16 #Makes FOL if this file is ABSENT -- but not |
17 #if it is out of date, since this Makefile does not know its dependencies! |
17 #if it is out of date, since this Makefile does not know its dependencies! |
18 |
18 |
19 BIN = $(ISABELLEBIN) |
19 BIN = $(ISABELLEBIN) |
20 COMP = $(ISABELLECOMP) |
20 COMP = $(ISABELLECOMP) |
21 FILES = ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML ex.ML |
21 FILES = ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML |
22 |
22 |
23 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
23 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
24 $(BIN)/LCF: $(BIN)/FOL $(FILES) |
24 $(BIN)/LCF: $(BIN)/FOL $(FILES) |
25 case "$(COMP)" in \ |
25 case "$(COMP)" in \ |
26 poly*) cp $(BIN)/FOL $(BIN)/LCF;\ |
26 poly*) cp $(BIN)/FOL $(BIN)/LCF;\ |