diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-07-06 08:06:16 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-06 08:06:16 +0100 |
| commit | 4187bba080530c5ca1c7dae9c233e88f3fc8f535 (patch) | |
| tree | b6f535e053876097ced1b6bda14a4da890c730d4 /dev-ml/camlp5 | |
| parent | 2a8d2f71d1d9963368e0ef3d641d75979a689d12 (diff) | |
gentoo auto-resync : 06:07:2024 - 08:06:15
Diffstat (limited to 'dev-ml/camlp5')
| -rw-r--r-- | dev-ml/camlp5/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/camlp5/files/camlp5-7.12-destdir.patch | 13 |
2 files changed, 0 insertions, 14 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest index 04fdade6f444..decae6c68df0 100644 --- a/dev-ml/camlp5/Manifest +++ b/dev-ml/camlp5/Manifest @@ -1,4 +1,3 @@ -AUX camlp5-7.12-destdir.patch 443 BLAKE2B 6a1dc0403c2ca37ce1197936e36abedc3979fda209130c92c31c4080d3026cf85d1989b2a0cd7c23fc989d45cad5464a79f12ccc9236463b615115f538887050 SHA512 f4071f731e32a071fa4850c5ac54691603b2b3a414c4618978bd2822652b8d9f60d86d8495a0f5001e53cfe27d8dfabe83d3717d5ad2d9050e6eb1b68dc35078 DIST camlp5-8.00.04.tar.gz 1232659 BLAKE2B 47dd18e9c518b0dccda62d054d7950dffa025a129c81eb673e6caf11f37c2af1644de861288af2ecb8e95ee4d21bf0a1d69da4fe9ed5b3d1cf3bf1012ea06d4c SHA512 0951a9528c8c9b4becf54b352a6f897cb1af26de437a137757d597a3a2ad8aef1160a3c326c9503f783bccd154d8c14a354d3a35baae2bb551611697ce4f5327 DIST camlp5-8.00.05.tar.gz 1237587 BLAKE2B 1028b1e77a048a6b2e8df4ab58171d4e182a21aa1ca01113fc0cb8b7e6f61b5db58e8c3a2f149d05c056fbd48c0c0d97e597121e4b2b55d62f1f62d80e92312b SHA512 f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe DIST camlp5-8.02.00.tar.gz 1260249 BLAKE2B d205cf29207c925bc52098c9e1e74c76b851c71514bc7ae6f6c1ff3c7bf971f7cf6974625c484d2ddf252d0befc557e3b2dd7134e8f5bed270d59d40f15be9a8 SHA512 6e3caccc780f8de1d5804ae8f5700d29255f968f7f8ee3f9ef6f3456883d63aeb0abe797233823fd368b40b74feb1f537c3a61ce35d0c9c2737ab06743a09ddd 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 \ |