--- a/src/Tools/Metis/Makefile Thu Mar 24 17:49:27 2011 +0100
+++ b/src/Tools/Metis/Makefile Thu Mar 24 17:49:27 2011 +0100
@@ -179,6 +179,12 @@
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 \
@@ -205,7 +211,7 @@
@echo '*****************************'
@echo
@echo $@
- cd bin/polyml && $(CC) -o $(notdir $@) $(notdir $<) -lpolymain -lpolyml
+ cd bin/polyml && $(CC) -o $(notdir $@) $(notdir $<) $(POLYML_LINK_OPTS)
@echo
.PHONY: polyml-info