equal
deleted
inserted
replaced
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;\ |
36 echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/CCL ;;\ |
36 echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/CCL ;;\ |
37 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;;\ |
37 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;;\ |
38 *) echo Bad value for ISABELLECOMP;;\ |
38 *) echo Bad value for ISABELLECOMP: \ |
|
39 $(COMP) is not poly or sml;;\ |
39 esac |
40 esac |
40 |
41 |
41 $(BIN)/FOL: |
42 $(BIN)/FOL: |
42 cd ../FOL; $(MAKE) |
43 cd ../FOL; $(MAKE) |
43 |
44 |
44 test: ex/ROOT.ML $(BIN)/CCL $(EX_FILES) |
45 test: ex/ROOT.ML $(BIN)/CCL $(EX_FILES) |
45 case "$(COMP)" in \ |
46 case "$(COMP)" in \ |
46 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CCL ;;\ |
47 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CCL ;;\ |
47 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/CCL;;\ |
48 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/CCL;;\ |
48 *) echo Bad value for ISABELLECOMP;;\ |
49 *) echo Bad value for ISABELLECOMP: \ |
|
50 $(COMP) is not poly or sml;;\ |
49 esac |
51 esac |
50 |
52 |
51 .PRECIOUS: $(BIN)/FOL $(BIN)/CCL |
53 .PRECIOUS: $(BIN)/FOL $(BIN)/CCL |