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