commit: c220ded1d9b0dc40fd3e9544d08acb77f2770039 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Sep 7 20:44:32 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Sep 7 21:03:39 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c220ded1
dev-lang/polyml: remove created .la Closes: https://bugs.gentoo.org/913752 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/polyml/{polyml-5.9-r1.ebuild => polyml-5.9-r2.ebuild} | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-lang/polyml/polyml-5.9-r1.ebuild b/dev-lang/polyml/polyml-5.9-r2.ebuild similarity index 78% rename from dev-lang/polyml/polyml-5.9-r1.ebuild rename to dev-lang/polyml/polyml-5.9-r2.ebuild index 76dcf8e4fdec..2c5e1ec69299 100644 --- a/dev-lang/polyml/polyml-5.9-r1.ebuild +++ b/dev-lang/polyml/polyml-5.9-r2.ebuild @@ -48,5 +48,12 @@ src_test() { src_install() { default - rm "${D}"/usr/lib*/libpolyml.la || die + + if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then + rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die + fi + + if [[ -f "${ED}"/usr/$(get_libdir)/libpolyml.la ]] ; then + rm "${ED}"/usr/$(get_libdir)/libpolyml.la || die + fi }
