too long lines were shrinked: [89/98] : && /usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Wl,--dependency-file=src/CMakeFiles/btormbt.dir/link.d src/CMakeFile [90/98] : && /usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -Wl,--dependency-file=src/CMakeFiles/btoruntrace.dir/link.d src/CMake [91/98] cd /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4_build/src/api/python && /usr/bin/cython --cplus --include-dir /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4/src --include-dir /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4 FAILED: src/api/python/pyboolector.cxx /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4_build/src/api/python/pyboolector.cxx cd /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4_build/src/api/python && /usr/bin/cython --cplus --include-dir /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4/src --include-dir /var/tmp/portage/sci-mathematics/boolector-3.2.4/work/boolector-3.2.4_build/s Error compiling Cython file: ------------------------------------------------------------ ... ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_hardened-20250603-210502 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang version 20.1.6 llvm-config: 20.1.6 Python 3.13.4 go version go1.24.3 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) [2] ruby33 (with Rubygems) [3] ruby34 (with Rubygems) * Available Rust versions: [1] rust-bin-1.86.0 [2] rust-bin-1.87.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.27_p6 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.15_p6 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.7_p6 [openjdk-bin-21] 4) Eclipse Temurin JDK 8.452_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 HEAD of ::gentoo commit 2ca6f4ba2a0caebf335564f4cdc2926f29f57ae5 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Jun 6 21:39:07 2025 +0000 2025-06-06 21:39:07 UTC The tinderbox task was: sci-mathematics/boolector emerge -qpvO =sci-mathematics/boolector-3.2.4 [ebuild N ] sci-mathematics/boolector-3.2.4 USE="gmp picosat python -cryptominisat -examples -minisat -test" PYTHON_SINGLE_TARGET="python3_13 -python3_11 -python3_12"
Created attachment 931241 [details] emerge-info.txt
Created attachment 931242 [details] emerge-history.txt.xz
Created attachment 931243 [details] environment
Created attachment 931244 [details] etc.clang.tar.xz
Created attachment 931245 [details] etc.portage.tar.xz
Created attachment 931246 [details] logs.tar.xz
Created attachment 931247 [details] qlist-info.txt.xz
Created attachment 931248 [details] sci-mathematics:boolector-3.2.4:20250606-225034.log
Created attachment 931249 [details] temp.tar.xz
Upstream repo is archived: > This repository serves as archive for the last and final version of Boolector. Active development and maintenance has stopped. Boolector was succeeded by Bitwuzla.
