src/FOLP/Makefile
changeset 468 3dd1dcb509ac
parent 337 bd39933d107b
child 953 17d7fad9c9a2
equal deleted inserted replaced
467:92868dab2939 468:3dd1dcb509ac
    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