diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2024-07-04 08:56:33 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2024-07-04 14:43:53 +0200 |
| commit | cabae4dc8bd51d33a017a78e25d123f51b202aa3 (patch) | |
| tree | b7c22da952958181eb02687ed9e145b4110a2ffe /dev-ml/camlp5 | |
| parent | dev-ml/camldbm: remove unused patch(es) (diff) | |
| download | gentoo-cabae4dc8bd51d33a017a78e25d123f51b202aa3.tar.gz gentoo-cabae4dc8bd51d33a017a78e25d123f51b202aa3.tar.bz2 gentoo-cabae4dc8bd51d33a017a78e25d123f51b202aa3.zip | |
dev-ml/camlp5: remove unused patch(es)
Bug: https://github.com/gentoo/gentoo/pull/37421
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5')
| -rw-r--r-- | dev-ml/camlp5/files/camlp5-7.12-destdir.patch | 13 |
1 files changed, 0 insertions, 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 \ |