commit: cabae4dc8bd51d33a017a78e25d123f51b202aa3 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Thu Jul 4 06:56:33 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Jul 4 12:43:53 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cabae4dc
dev-ml/camlp5: remove unused patch(es) Bug: https://github.com/gentoo/gentoo/pull/37421 Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/camlp5/files/camlp5-7.12-destdir.patch | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/dev-ml/camlp5/files/camlp5-7.12-destdir.patch b/dev-ml/camlp5/files/camlp5-7.12-destdir.patch deleted file mode 100644 index d43a29c97d3f..000000000000 --- a/dev-ml/camlp5/files/camlp5-7.12-destdir.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: camlp5-rel712/Makefile -=================================================================== ---- camlp5-rel712.orig/Makefile -+++ camlp5-rel712/Makefile -@@ -57,7 +57,7 @@ install: - for i in $(DIRS) compile; do \ - (cd $$i; $(MAKE) install DESTDIR=$(DESTDIR); cd ..); \ - done -- cp etc/topfind.camlp5 `ocamlc -where`/. || true -+ cp etc/topfind.camlp5 "$(DESTDIR)`ocamlc -where`/." || true - - uninstall: - @if test -z "$(LIBDIR)"; then \
