diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-16 00:04:44 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-16 00:05:09 +0100 |
| commit | ff3eea5071e5d079341ac378cea3f9b8e02dff8a (patch) | |
| tree | 2215274973424fa29e7a07cebf5f635d69439583 /dev-scheme/bigloo | |
| parent | dev-python/ytmusicapi: bump to 0.25.0 (diff) | |
| download | gentoo-ff3eea5071e5d079341ac378cea3f9b8e02dff8a.tar.gz gentoo-ff3eea5071e5d079341ac378cea3f9b8e02dff8a.tar.bz2 gentoo-ff3eea5071e5d079341ac378cea3f9b8e02dff8a.zip | |
dev-scheme/bigloo: do not install static libs
Closes: https://bugs.gentoo.org/890820
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-scheme/bigloo')
| -rw-r--r-- | dev-scheme/bigloo/bigloo-4.4c_p4-r4.ebuild (renamed from dev-scheme/bigloo/bigloo-4.4c_p4-r3.ebuild) | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-scheme/bigloo/bigloo-4.4c_p4-r3.ebuild b/dev-scheme/bigloo/bigloo-4.4c_p4-r4.ebuild index 9e7c5157fb76..2baba06090ea 100644 --- a/dev-scheme/bigloo/bigloo-4.4c_p4-r3.ebuild +++ b/dev-scheme/bigloo/bigloo-4.4c_p4-r4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -161,6 +161,9 @@ src_install() { emake DESTDIR="${D}" -C bdb install emake DESTDIR="${D}" -C cigloo install + # Remove static libs, bug #890820 + find "${ED}" -type f -name "*.a" -delete || die + # The ".sh" scripts set proper environment and library order for Bigloo, # but programs (and the Bigloo Emacs library, "bee-mode") want "bigloo", # not "bigloo.sh". To make programs work we install all executable files |