diff options
Diffstat (limited to 'lang/mlton/files/patch-Makefile')
| -rw-r--r-- | lang/mlton/files/patch-Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lang/mlton/files/patch-Makefile b/lang/mlton/files/patch-Makefile new file mode 100644 index 000000000000..7a88aa70a2c1 --- /dev/null +++ b/lang/mlton/files/patch-Makefile @@ -0,0 +1,22 @@ +--- Makefile.orig 2007-08-27 07:04:14.000000000 +1000 ++++ Makefile 2008-04-28 10:23:28.000000000 +1000 +@@ -34,7 +34,11 @@ + PATH := $(BIN):$(SRC)/bin:$(shell echo $$PATH) + CP := /bin/cp -fpR + GZIP := gzip --force --best ++ifeq ($(TARGET), mingw32) ++RANLIB := $(TARGET)-ranlib ++else + RANLIB := ranlib ++endif + + # If we're compiling with another version of MLton, then we want to do + # another round of compilation so that we get a MLton built without +@@ -410,6 +414,7 @@ + install-no-docs: + mkdir -p "$(TLIB)" "$(TBIN)" "$(TMAN)" + $(CP) "$(LIB)/." "$(TLIB)/" ++ -rm "$(TLIB)/mlton.x86-bsd" + sed "/^lib=/s;.*;lib='$(prefix)/$(ULIB)';" \ + <"$(BIN)/mlton" >"$(TBIN)/mlton" + chmod a+x "$(TBIN)/mlton" |