https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/btor2tools-1.0.0_pre20220518 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 848374 [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=6ce161a93f2e7f025a2d5a529338ef49b7daf2bb commit 6ce161a93f2e7f025a2d5a529338ef49b7daf2bb Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-01-13 14:59:23 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-01-13 15:42:38 +0000 sci-mathematics/btor2tools: do not install static libraries Closes: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org> ...0.0_pre20220518.ebuild => btor2tools-1.0.0_pre20220518-r1.ebuild} | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) Additionally, it has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ac87869d0ea8a5cdb172270e19d04a0eb79d5501 commit ac87869d0ea8a5cdb172270e19d04a0eb79d5501 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-01-13 15:10:16 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-01-13 15:42:38 +0000 sci-mathematics/boolector: fix build to not require static libs Bug: https://bugs.gentoo.org/890700 Bug: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild | 1 + 1 file changed, 1 insertion(+)
