too long lines were shrinked: [851/853] /usr/bin/x86_64-pc-linux-gnu-g++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/var/tmp/portage/sci-mathematics/z3-4.12.2/work/z3-z3-4.12.2_build-abi_x86_64.amd64/src -I/var/tmp/portage/sci-mathematics/z3-4.12.2/work/z3-z3-4.12.2/src -O2 -pipe -march=native -fno-diagnostics-color -Werror=odr -std [852/853] /usr/bin/x86_64-pc-linux-gnu-g++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/var/tmp/portage/sci-mathematics/z3-4.12.2/work/z3-z3-4.12.2_build-abi_x86_64.amd64/src -I/var/tmp/portage/sci-mathematics/z3-4.12.2/work/z3-z3-4.12.2/src -O2 -pipe -march=native -fno-diagnostics-color -Werror=odr -std [853/853] : && /usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=odr -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 src/util/CMakeFiles/util.dir/approx_nat.cpp.o src/util/CMakeFiles/util.dir/approx_set.cpp.o src/util/CMakeFiles/util.dir/bit_util FAILED: z3 : && /usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Werror=odr -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 src/util/CMakeFiles/util.dir/approx_nat.cpp.o src/util/CMakeFiles/util.dir/approx_set.cpp.o src/util/CMakeFiles/util.dir/bit_util.cpp.o src /usr/lib/gcc/x86_64-pc-linux-gnu/14/../../../../x86_64-pc-linux-gnu/bin/ld: src/shell/CMakeFiles/shell.dir/install_tactic.cpp.o: in function `std::_Function_handler<dependent_expr_simplifier* (ast_manager&, params_ref const&, dependent_expr_state&), install_tactics(tactic_manager&)::{lambda(auto:1&, install_tactic.cpp:(.text+0x13a9): undefined reference to `rewriter_tpl<elim_bounds_cfg>::rewriter_tpl(ast_manager&, bool, elim_bounds_cfg&)' collect2: error: ld returned 1 exit status ninja: build stopped: subcommand failed. ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib_systemd_merged_usr-20231123-151505 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-14 * clang/llvm (if any): clang version 17.0.5 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/17/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/17 17.0.5 Python 3.11.6 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.73.0 * GENTOO_VM= CLASSPATH="" JAVA_HOME="/etc/java-config-2/current-system-vm" JAVACFLAGS="" COMPILER="" The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21] 3) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 [3] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.21.4 linux/amd64 HEAD of ::gentoo commit 96f709f5b107b18d3381742a21394656483c4a69 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Nov 28 03:32:00 2023 +0000 2023-11-28 03:32:00 UTC emerge -qpvO sci-mathematics/z3 [ebuild N ] sci-mathematics/z3-4.12.2 USE="python -doc -examples -gmp -isabelle -java" PYTHON_SINGLE_TARGET="python3_11 -python3_10 -python3_12"
Created attachment 875884 [details] emerge-info.txt
Created attachment 875885 [details] emerge-history.txt
Created attachment 875886 [details] environment
Created attachment 875887 [details] etc.clang.tar.xz
Created attachment 875888 [details] etc.portage.tar.xz
Created attachment 875889 [details] qlist-info.txt.xz
Created attachment 875890 [details] sci-mathematics:z3-4.12.2:20231128-051502.log.xz
Created attachment 875891 [details] temp.tar.xz
Since sci-mathematics/z3-4.13.0::gentoo builds fine: [ebuild R ] sci-mathematics/z3-4.13.0:0/4.13::gentoo USE="-doc -examples gmp isabelle -java python" ABI_X86="-32 (64) (-x32)" PYTHON_SINGLE_TARGET="-python3_10 python3_11 -python3_12" 0 KiB [ebuild R ~] sys-devel/gcc-14.2.0:14::gentoo USE="-ada -cet (-custom-cflags) (cxx) -d -debug (default-stack-clash-protection) (default-znow) -doc (-fixed-point) fortran -go graphite -hardened (-ieee-long-double) jit (-libssp) lto -modula2 (multilib) -nls -objc -objc++ -objc-gc openmp (-pch) pgo (pie) rust sanitize -ssp -systemtap -test -valgrind -vanilla -vtv zstd" 0 KiB sci-mathematics/z3-4.12.2 isn't in portage tree anymore. Could be time to consider closing the report.
(In reply to CaptainBlood from comment #9) > Since sci-mathematics/z3-4.13.0::gentoo builds fine: > > [ebuild R ] sci-mathematics/z3-4.13.0:0/4.13::gentoo USE="-doc > -examples gmp isabelle -java python" ABI_X86="-32 (64) (-x32)" > PYTHON_SINGLE_TARGET="-python3_10 python3_11 -python3_12" 0 KiB > > [ebuild R ~] sys-devel/gcc-14.2.0:14::gentoo USE="-ada -cet > (-custom-cflags) (cxx) -d -debug (default-stack-clash-protection) > (default-znow) -doc (-fixed-point) fortran -go graphite -hardened > (-ieee-long-double) jit (-libssp) lto -modula2 (multilib) -nls -objc -objc++ > -objc-gc openmp (-pch) pgo (pie) rust sanitize -ssp -systemtap -test > -valgrind -vanilla -vtv zstd" 0 KiB > > sci-mathematics/z3-4.12.2 isn't in portage tree anymore. > > Could be time to consider closing the report. Thanks.
