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