| ^~~~~~~~ /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:22:1: note: uint32_t is defined in header <cstdint>; did you forget to #include <cstdint>? 21 | #include <vector> +++ |+#include <cstdint> 22 | /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp: In function void split_file(std::string, bool): /var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:97:7: error: s_verbosity was not declared in this scope 97 | if (s_verbosity) | ^~~~~~~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_systemd-j4-20230214-180043 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe" gcc-config -l: [1] x86_64-pc-linux-gnu-11 [2] x86_64-pc-linux-gnu-13 * clang/llvm (if any): /usr/lib/llvm/15 15.0.7 Python 3.10.10 Available Rust versions: [1] rust-1.67.1 * The following VMs are available for generation-2: 1) OpenJDK 11.0.18_p10 [openjdk-11] 2) OpenJDK 17.0.6_p10 [openjdk-17] *) Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17] 4) Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-11 [2] openjdk-17 [3] openjdk-bin-8 [4] openjdk-bin-17 system-vm php cli (if any): [1] php7.4 [2] php8.0 [3] php8.2 * HEAD of ::gentoo commit afcd6c56d316197a7538f4d5ab4b9c1971e9d172 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Feb 18 06:16:53 2023 +0000 2023-02-18 06:16:52 UTC emerge -qpvO sci-mathematics/btor2tools [ebuild N ] sci-mathematics/btor2tools-1.0.0_pre20220518-r1 USE="-examples"
Created attachment 852544 [details] emerge-info.txt
Created attachment 852546 [details] emerge-history.txt.bz2
Created attachment 852548 [details] environment
Created attachment 852550 [details] etc.portage.tar.bz2
Created attachment 852552 [details] logs.tar.bz2
Created attachment 852554 [details] sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log
Created attachment 852556 [details] temp.tar.bz2
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(-)
