--- old/Makefile 2014-05-17 12:00:01.000000000 +0100 +++ new/Makefile 2014-05-17 12:00:07.000000000 +0100 @@ -251,12 +251,6 @@ POLYML_OPTS = -ifeq ($(shell uname), Darwin) - POLYML_LINK_OPTS = -lpolymain -lpolyml -segprot POLY rwx rwx -else - POLYML_LINK_OPTS = -lpolymain -lpolyml -endif - POLYML_SRC = \ src/Random.sig src/Random.sml \ src/Portable.sig src/PortablePolyml.sml \ @@ -283,7 +277,7 @@ @echo '+---------------------------+' @echo @echo $@ - cd bin/polyml && $(CC) -o $(notdir $@) $(notdir $<) $(POLYML_LINK_OPTS) + cd bin/polyml && polyc -o $(notdir $@) $(notdir $<) @echo .PHONY: polyml-info