Bug 725594

Summary:	sci-mathematics/prover9-2009.11a fails tests
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal	CC:	sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2020-05-27 11:49:03 UTC

This is an auto-filed bug because sci-mathematics/prover9 fails tests.
The issue was originally discovered on amd64, but it may be reproducible on other arches as well.
If you think that a different summary clarifies the issue better, feel free to change it.
Attached build log and emerge --info.

NOTE:
If you need further logs, feel free to ask.

Comment 1 Agostino Sarubbo gentoo-dev

2020-05-27 11:49:09 UTC

Created attachment 642042 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2022-09-30 07:07:12 UTC

tinderbox_musl has reproduced this issue with version 2009.11a - Updating summary.

Comment 3 Larry the Git Cow gentoo-dev

2024-02-14 17:01:41 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd

commit ff9646fcc48ee9834a1b7e5a9c0f36dd859df1dd
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2024-02-14 16:19:37 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2024-02-14 17:01:37 +0000

    sci-mathematics/prover9: fix tests; bump to EAPI 8
    
    Closes: https://bugs.gentoo.org/725594
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 ...-2009.11a.ebuild => prover9-2009.11a-r1.ebuild} | 48 +++++++++++-----------
 1 file changed, 23 insertions(+), 25 deletions(-)