src/Modal/Makefile
changeset 60 379872528c16
parent 0 a5a9c433f639
child 102 e04cb6295a3f
equal deleted inserted replaced
59:ab555029f583 60:379872528c16
    16 #Makes LK if this file is ABSENT -- but not 
    16 #Makes LK 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 modal0.thy prover.ML T.thy S4.thy S43.thy
    21 FILES = ROOT.ML modal0.thy prover.ML t.thy s4.thy s43.thy
    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)/Modal:   $(BIN)/LK  $(FILES) 
    24 $(BIN)/Modal:   $(BIN)/LK  $(FILES) 
    25 	case "$(COMP)" in \
    25 	case "$(COMP)" in \
    26 	poly*)	cp $(BIN)/LK $(BIN)/Modal;\
    26 	poly*)	cp $(BIN)/LK $(BIN)/Modal;\