Bug 890698

Summary:	sci-mathematics/btor2tools-1.0.0_pre20220518 installs '.a' files without static-libs USE
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	695878
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2023-01-13 13:56:57 UTC

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.

Comment 1 Agostino Sarubbo gentoo-dev

2023-01-13 13:56:59 UTC

Created attachment 848374 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2023-01-13 15:42:41 UTC

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(+)