diff options
Diffstat (limited to 'dev-ml/camlp5/files/camlp5-7.12-destdir.patch')
| -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 \ |