https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/minisat-2.2.0_p20130925-r1 fails to compile. Discovered on: amd64 (internal ref: tinderbox) NOTE: This machine uses a clang/LLVM toolchain. If you think that this issue is strictly related to clang/LLVM please block bug 408963. If you think that this issue is strictly related to the LLD linker, please block bug 731004. This machine uses also GLIBC-2.32. If you think that this issue is strictly related to GLIBC please block bug 736174.
Created attachment 659480 [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=403dbc431f544038e9c5d44e563194f0bf395c02 commit 403dbc431f544038e9c5d44e563194f0bf395c02 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-01-17 18:00:34 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-01-17 18:06:01 +0000 sci-mathematics/minisat: drop old 2.2.0_p20130925 version Closes: https://bugs.gentoo.org/741598 Closes: https://bugs.gentoo.org/713420 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/minisat/Manifest | 1 - .../files/minisat-2.2.0_p20130925-nusmv.patch | 527 --------------------- .../minisat/minisat-2.2.0_p20130925-r1.ebuild | 57 --- 3 files changed, 585 deletions(-)