1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-23 00:43:28 +00:00
freebsd-ports/lang/ocaml/files/patch-otherlibs-dynlink-Makefile
John Marino ae5ca3bbc1 lang/ocaml: Upgrade version 4.00.1 to 4.01.0 and stage
This is a significant update from the maintainer.  Not only has stage
support been added (and verified with an 8x pass on RedPorts), but
installed binaries are no longer stripped which was the cause of the
coccinelle malfunction seen on DragonFly.

Licensing was also defined, and the X11 build failure caused by the
use of the -R linker flag without the -Wl prefix has also been
rectified. [2]

PR:		ports/188158 [1]
Submitted by:	maintainer (Michael Gruenewald)

PR:		ports/188330 [2]
Submitted by:	madpilot
Approved by:	maintainer
2014-04-26 17:20:32 +00:00

14 lines
413 B
Plaintext

--- otherlibs/dynlink/Makefile.orig 2013-07-23 16:48:47.000000000 +0200
+++ otherlibs/dynlink/Makefile 2014-04-01 07:44:36.000000000 +0200
@@ -71,8 +71,8 @@
installopt:
if $(NATDYNLINK); then \
- cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) && \
- cd $(LIBDIR) && $(RANLIB) dynlink.$(A); \
+ $(RANLIB) dynlink.$(A); \
+ cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR); \
fi
partialclean: