https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/yices2-2.6.4 installs '.a' files without static-libs USE. Discovered on: amd64 (internal ref: dash_tinderbox) NOTE: (DASH-SYSTEM) in the summary means that the bug was found on a machine that runs /bin/sh as dash but this bug MAY or MAY NOT BE related to dash. https://projects.gentoo.org/qa/policy-guide/installed-files.html#pg0302.
Created attachment 848404 [details] build.log build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d7f3217ec85f5d56436c755de99b5c1938c3f547 commit d7f3217ec85f5d56436c755de99b5c1938c3f547 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-01-14 02:24:15 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-01-14 02:59:24 +0000 sci-mathematics/yices2: do not install static libs Closes: https://bugs.gentoo.org/890758 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../yices2/{yices2-2.6.4.ebuild => yices2-2.6.4-r1.ebuild} | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
