summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-07-09 15:43:36 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-07-09 15:43:36 +0100
commit2719f73b6813d11d13a9650cdd2ab8ec6e69385d (patch)
tree8c816148bcbd22757d892089c989ae614eae4f5a /dev-lang/polyml
parent0f558761aa2dee1017b4751e4017205e015a9560 (diff)
gentoo resync : 09.07.2022
Diffstat (limited to 'dev-lang/polyml')
-rw-r--r--dev-lang/polyml/Manifest2
-rw-r--r--dev-lang/polyml/polyml-5.9-r1.ebuild7
2 files changed, 7 insertions, 2 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index d8c07e5a3e2a..b4e6fe293b58 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -7,5 +7,5 @@ DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0
DIST polyml-5.9.tar.gz 3764115 BLAKE2B ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d SHA512 e996cbe820216e854a50ba214f2a2a0291ee3279eb35be4126b6558bc1582732a236156fb8d0f548b31fca4a496db62ece83d902b6f5e72de64507fdef602e45
EBUILD polyml-5.8.2.ebuild 1129 BLAKE2B c9abfe7fa6abc5d1cadcdbf1799610713195e017a102e0a79122e6c0424e94b42ed9971b14377f6ca260a1d1703d94d9323ce33fd48e4f5f43bbf0667f6a1e60 SHA512 8bcc7bf4c5cbd850f25d0def5bfbaa98dadb3ad2218e6a1fb4c741546d6f3b59faecbd5bbaf5dd5a30baf87d148ce2e634414405c82c72f2cf6843a0af1d6b8d
EBUILD polyml-5.8.ebuild 1210 BLAKE2B 00f42ae7d8afbd7e986099385c868ff9a6e65d1fc624c928c53df6a6a7eec5e2e106899a2af41c21fd023f4fbdd4bc00b85ac8e0093fe5ef44786122f0b88830 SHA512 4c86e7b1b59139a67456e69118855660e6a3a7acee3d9bcba2fe66ee4fb925b7ed73347f01dcdd3e11784e1b50c7a113580762f601388963dae9c4e3593de495
-EBUILD polyml-5.9-r1.ebuild 807 BLAKE2B c616394bfa5d939e4fa0b38b5998c523df00bd17db96df53b65eb0887899d71b7e5bab0177388c2b2b37bd39ed775c64962dfb5cb7a52d334b7c99ea6b7195a0 SHA512 9c7aee31eb2f090c7d4aeeccc6fd5c2710f67cfc87ed02d7332c30a41506b9eac53956a39d689c73349130c33475b461b2fd5e6426a8a1b1fafba69ce326a36f
+EBUILD polyml-5.9-r1.ebuild 875 BLAKE2B 17c57ea989c7a38f42ad184b5b59c74a3a391c8852145a2a8ebe473ba7328355745ce7e40083171bf2083fe35c77be5835c3094c93646d1e005f32a7f1d37c81 SHA512 2b1c85bdcb2fe694cfe9240f408a087e7e6b9b24763c09fa3526062eb83a3fc3e74ec3af54e266edaaf9ba8554927c721e76f6cf6dc28ec1cacfb6fd6b40f2db
MISC metadata.xml 476 BLAKE2B 1ae157cea19be5c640cddb49ed167f4bd2f3f76b224f42ad1eec260cf4a10418e90cf0d9cd7deae8710910aa141a7dcea912533dfc3aba51b587a8babde0f1e5 SHA512 93c0da7fa36a0ff2215f22a114b995c0f3cbb8762807090203e25e011236324585dc7af1246a881cdd5d2b41b6d69a00c9965507f8b467481e65679bbf87dd59
diff --git a/dev-lang/polyml/polyml-5.9-r1.ebuild b/dev-lang/polyml/polyml-5.9-r1.ebuild
index 36f9d9054e80..fef26cddee79 100644
--- a/dev-lang/polyml/polyml-5.9-r1.ebuild
+++ b/dev-lang/polyml/polyml-5.9-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -44,3 +44,8 @@ src_configure() {
src_test() {
emake tests
}
+
+src_install() {
+ default
+ rm "${D}"/usr/lib*/libpolyml.la || die
+}