diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-07 22:44:32 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-07 23:03:39 +0200 |
| commit | c220ded1d9b0dc40fd3e9544d08acb77f2770039 (patch) | |
| tree | 1dd0811182b184c752583d226196d362f8e99343 /dev-lang/polyml | |
| parent | app-emacs/racket-mode: add live 9999 (diff) | |
| download | gentoo-c220ded1d9b0dc40fd3e9544d08acb77f2770039.tar.gz gentoo-c220ded1d9b0dc40fd3e9544d08acb77f2770039.tar.bz2 gentoo-c220ded1d9b0dc40fd3e9544d08acb77f2770039.zip | |
dev-lang/polyml: remove created .la
Closes: https://bugs.gentoo.org/913752
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/polyml')
| -rw-r--r-- | dev-lang/polyml/polyml-5.9-r2.ebuild (renamed from dev-lang/polyml/polyml-5.9-r1.ebuild) | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/dev-lang/polyml/polyml-5.9-r1.ebuild b/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 } |