https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/btor2tools-1.0.0_pre20220518-r1 fails to compile (MUSL-SYSTEM). Discovered on: amd64 (internal ref: tinderbox_musl) NOTE: (MUSL-SYSTEM) in the summary means that bug was found on a machine that runs MUSL libc but this bug MAY or MAY NOT BE related to musl.
Created attachment 863821 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: FAILED: src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:25:8: error: 'uint32_t' does not name a type
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e48c503d9ca71e3a2d7eca85febde7630cb2ef60 commit e48c503d9ca71e3a2d7eca85febde7630cb2ef60 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-11-02 21:52:39 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-11-02 22:11:22 +0000 sci-mathematics/btor2tools: patch includes Closes: https://bugs.gentoo.org/908486 Closes: https://bugs.gentoo.org/895224 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild | 17 +++++++++++------ ...btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch | 10 ++++++++++ 2 files changed, 21 insertions(+), 6 deletions(-)
