equal
deleted
inserted
replaced
30 |
30 |
31 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
31 #Uses cp rather than make_database because Poly/ML allows only 3 levels |
32 $(BIN)/ZF: $(BIN)/FOL $(FILES) |
32 $(BIN)/ZF: $(BIN)/FOL $(FILES) |
33 case "$(COMP)" in \ |
33 case "$(COMP)" in \ |
34 poly*) cp $(BIN)/FOL $(BIN)/ZF;\ |
34 poly*) cp $(BIN)/FOL $(BIN)/ZF;\ |
35 echo 'open PolyML; use"ROOT";' | $(COMP) -h 15000 $(BIN)/ZF ;;\ |
35 echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/ZF ;;\ |
36 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/ZF" banner;' | $(BIN)/FOL;;\ |
36 sml*) echo 'use"ROOT.ML"; xML"$(BIN)/ZF" banner;' | $(BIN)/FOL;;\ |
37 *) echo Bad value for ISABELLECOMP;;\ |
37 *) echo Bad value for ISABELLECOMP;;\ |
38 esac |
38 esac |
39 |
39 |
40 $(BIN)/FOL: |
40 $(BIN)/FOL: |
41 cd ../FOL; $(MAKE) |
41 cd ../FOL; $(MAKE) |
42 |
42 |
43 test: ex/ROOT.ML $(BIN)/ZF |
43 test: ex/ROOT.ML $(BIN)/ZF |
44 case "$(COMP)" in \ |
44 case "$(COMP)" in \ |
45 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) -h 15000 $(BIN)/ZF ;;\ |
45 poly*) echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/ZF ;;\ |
46 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\ |
46 sml*) echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\ |
47 *) echo Bad value for ISABELLECOMP;;\ |
47 *) echo Bad value for ISABELLECOMP;;\ |
48 esac |
48 esac |
49 |
49 |
50 .PRECIOUS: $(BIN)/FOL $(BIN)/ZF |
50 .PRECIOUS: $(BIN)/FOL $(BIN)/ZF |