equal
deleted
inserted
replaced
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 |
21 |
22 SET_FILES = ROOT.ML set.thy set.ML subset.ML equalities.ML mono.ML \ |
22 SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \ |
23 gfp.thy gfp.ML lfp.thy lfp.ML |
23 Gfp.thy Gfp.ML Lfp.thy Lfp.ML |
24 |
24 |
25 CCL_FILES = ccl.thy ccl.ML term.thy term.ML type.thy type.ML \ |
25 CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \ |
26 coinduction.ML hered.thy hered.ML trancl.thy trancl.ML\ |
26 coinduction.ML Hered.thy Hered.ML Trancl.thy Trancl.ML\ |
27 wfd.thy wfd.ML genrec.ML typecheck.ML eval.ML fix.thy fix.ML |
27 Wfd.thy Wfd.ML genrec.ML typecheck.ML eval.ML Fix.thy Fix.ML |
28 |
28 |
29 EX_FILES = ex/ROOT.ML ex/flag.ML ex/flag.thy ex/list.ML ex/list.thy\ |
29 EX_FILES = ex/ROOT.ML ex/Flag.ML ex/Flag.thy ex/List.ML ex/List.thy\ |
30 ex/nat.ML ex/nat.thy ex/stream.ML ex/stream.thy |
30 ex/Nat.ML ex/Nat.thy ex/Stream.ML ex/Stream.thy |
31 |
31 |
32 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
32 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
33 $(BIN)/CCL: $(BIN)/FOL $(SET_FILES) $(CCL_FILES) |
33 $(BIN)/CCL: $(BIN)/FOL $(SET_FILES) $(CCL_FILES) |
34 case "$(COMP)" in \ |
34 case "$(COMP)" in \ |
35 poly*) cp $(BIN)/FOL $(BIN)/CCL;\ |
35 poly*) cp $(BIN)/FOL $(BIN)/CCL;\ |