diff options
Diffstat (limited to 'lang/ocaml/patches/patch-otherlibs_dynlink_Makefile')
| -rw-r--r-- | lang/ocaml/patches/patch-otherlibs_dynlink_Makefile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/lang/ocaml/patches/patch-otherlibs_dynlink_Makefile b/lang/ocaml/patches/patch-otherlibs_dynlink_Makefile deleted file mode 100644 index 9668b9afde4..00000000000 --- a/lang/ocaml/patches/patch-otherlibs_dynlink_Makefile +++ /dev/null @@ -1,21 +0,0 @@ -$NetBSD: patch-otherlibs_dynlink_Makefile,v 1.5 2017/09/08 09:12:44 jaapb Exp $ - -Use BSD_INSTALL_* instead of mkdir and cp ---- otherlibs/dynlink/Makefile.orig 2017-06-28 14:09:39.000000000 +0000 -+++ otherlibs/dynlink/Makefile -@@ -90,12 +90,12 @@ extract_crc: dynlink.cma extract_crc.cmo - INSTALL_LIBDIR=$(DESTDIR)$(LIBDIR) - - install: -- cp dynlink.cmi dynlink.cmti dynlink.cma dynlink.mli "$(INSTALL_LIBDIR)" -- cp extract_crc "$(INSTALL_LIBDIR)/extract_crc$(EXE)" -+ $(BSD_INSTALL_DATA) dynlink.cmi dynlink.cmti dynlink.cma dynlink.mli "$(INSTALL_LIBDIR)" -+ $(BSD_INSTALL_SCRIPT) extract_crc "$(INSTALL_LIBDIR)/extract_crc$(EXE)" - - installopt: - if $(NATDYNLINK); then \ -- cp $(NATOBJS) dynlink.cmxa dynlink.$(A) "$(INSTALL_LIBDIR)" && \ -+ $(BSD_INSTALL_DATA) $(NATOBJS) dynlink.cmxa dynlink.$(A) "$(INSTALL_LIBDIR)" && \ - cd "$(INSTALL_LIBDIR)" && $(RANLIB) dynlink.$(A); \ - fi - |