equal
deleted
inserted
replaced
29 case "$(COMP)" in \ |
29 case "$(COMP)" in \ |
30 poly*) echo 'make_database"$(BIN)/FOLP"; quit();' \ |
30 poly*) echo 'make_database"$(BIN)/FOLP"; quit();' \ |
31 | $(COMP) $(BIN)/Pure;\ |
31 | $(COMP) $(BIN)/Pure;\ |
32 echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/FOLP;;\ |
32 echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/FOLP;;\ |
33 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/FOLP" banner;' | $(BIN)/Pure;;\ |
33 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/FOLP" banner;' | $(BIN)/Pure;;\ |
34 *) echo Bad value for ISABELLECOMP;;\ |
34 *) echo Bad value for ISABELLECOMP: \ |
|
35 $(COMP) is not poly or sml;;\ |
35 esac |
36 esac |
36 |
37 |
37 $(BIN)/Pure: |
38 $(BIN)/Pure: |
38 cd ../Pure; $(MAKE) |
39 cd ../Pure; $(MAKE) |
39 |
40 |
40 test: ex/ROOT.ML $(BIN)/FOLP $(EX_FILES) |
41 test: ex/ROOT.ML $(BIN)/FOLP $(EX_FILES) |
41 case "$(COMP)" in \ |
42 case "$(COMP)" in \ |
42 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/FOLP ;;\ |
43 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/FOLP ;;\ |
43 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/FOLP;;\ |
44 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/FOLP;;\ |
44 *) echo Bad value for ISABELLECOMP;;\ |
45 *) echo Bad value for ISABELLECOMP: \ |
|
46 $(COMP) is not poly or sml;;\ |
45 esac |
47 esac |
46 |
48 |
47 .PRECIOUS: $(BIN)/Pure $(BIN)/FOLP |
49 .PRECIOUS: $(BIN)/Pure $(BIN)/FOLP |