equal
deleted
inserted
replaced
53 $(BIN)/FOL: |
53 $(BIN)/FOL: |
54 cd ../FOL; $(MAKE) |
54 cd ../FOL; $(MAKE) |
55 |
55 |
56 test: ex/ROOT.ML $(BIN)/CCL $(EX_FILES) |
56 test: ex/ROOT.ML $(BIN)/CCL $(EX_FILES) |
57 case "$(COMP)" in \ |
57 case "$(COMP)" in \ |
58 poly*) echo 'exit_use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CCL ;;\ |
58 poly*) echo 'exit_use_dir"ex"; quit();' \ |
59 sml*) echo 'exit_use"ex/ROOT.ML";' | $(BIN)/CCL;;\ |
59 | $(COMP) $(BIN)/CCL ;;\ |
|
60 sml*) echo 'exit_use_dir"ex";' | $(BIN)/CCL;;\ |
60 *) echo Bad value for ISABELLECOMP: \ |
61 *) echo Bad value for ISABELLECOMP: \ |
61 $(COMP) is not poly or sml;;\ |
62 $(COMP) is not poly or sml;;\ |
62 esac |
63 esac |
63 |
64 |
64 .PRECIOUS: $(BIN)/FOL $(BIN)/CCL |
65 .PRECIOUS: $(BIN)/FOL $(BIN)/CCL |