equal
deleted
inserted
replaced
17 #Makes pure Isabelle (Pure) if this file is ABSENT -- but not |
17 #Makes pure Isabelle (Pure) if this file is ABSENT -- but not |
18 #if it is out of date, since this Makefile does not know its dependencies! |
18 #if it is out of date, since this Makefile does not know its dependencies! |
19 |
19 |
20 BIN = $(ISABELLEBIN) |
20 BIN = $(ISABELLEBIN) |
21 COMP = $(ISABELLECOMP) |
21 COMP = $(ISABELLECOMP) |
22 FILES = ROOT.ML cube.thy cube.ML ex.ML |
22 FILES = ROOT.ML cube.thy cube.ML |
23 |
23 |
24 $(BIN)/Cube: $(BIN)/Pure $(FILES) |
24 $(BIN)/Cube: $(BIN)/Pure $(FILES) |
25 case "$(COMP)" in \ |
25 case "$(COMP)" in \ |
26 poly*) echo 'make_database"$(BIN)/Cube"; quit();' \ |
26 poly*) echo 'make_database"$(BIN)/Cube"; quit();' \ |
27 | $(COMP) $(BIN)/Pure;\ |
27 | $(COMP) $(BIN)/Pure;\ |