diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-09 15:43:36 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-09 15:43:36 +0100 |
commit | 2719f73b6813d11d13a9650cdd2ab8ec6e69385d (patch) | |
tree | 8c816148bcbd22757d892089c989ae614eae4f5a /dev-lang/polyml/polyml-5.9-r1.ebuild | |
parent | 0f558761aa2dee1017b4751e4017205e015a9560 (diff) |
gentoo resync : 09.07.2022
Diffstat (limited to 'dev-lang/polyml/polyml-5.9-r1.ebuild')
-rw-r--r-- | dev-lang/polyml/polyml-5.9-r1.ebuild | 7 |
1 files changed, 6 insertions, 1 deletions
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 +} |