diff options
| author |   Mark Wright <gienah@gentoo.org> | 2020-10-13 16:03:07 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:22 +1100 |
| commit | 0b42f5e355ba13dce9dada9c547d10a7e5ef2c3b (patch) | |
| tree | 899bf7e5b8a6619b944ce83ef32b9cdd050c38ad /dev-ml/camlp5/files | |
| parent | dev-ml/camlp4: Bump to 4.11_p1 (diff) | |
| download | gentoo-0b42f5e355ba13dce9dada9c547d10a7e5ef2c3b.tar.gz gentoo-0b42f5e355ba13dce9dada9c547d10a7e5ef2c3b.tar.bz2 gentoo-0b42f5e355ba13dce9dada9c547d10a7e5ef2c3b.zip | |
dev-ml/camlp5: Bump to 7.12
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5/files')
| -rw-r--r-- | dev-ml/camlp5/files/camlp5-7.12-destdir.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ml/camlp5/files/camlp5-7.12-destdir.patch b/dev-ml/camlp5/files/camlp5-7.12-destdir.patch new file mode 100644 index 000000000000..d43a29c97d3f --- /dev/null +++ b/dev-ml/camlp5/files/camlp5-7.12-destdir.patch @@ -0,0 +1,13 @@ +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 \ |