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