| Summary: | sci-mathematics/z3-4.13.0 - [ncurses-6.5] [icu-75.1] [glibc-2.40] [gcc-15] /.../static_matrix.h: error: class lp::static_matrix<T, X> has no member named get | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Michał Górny <mgorny> |
| Status: | CONFIRMED --- | ||
| Severity: | normal | CC: | sci |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| See Also: | https://github.com/Z3Prover/z3/pull/7313 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 932474 | ||
| Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tar.xz qlist-info.txt sci-mathematics:z3-4.13.0:20240724-223128.log.xz temp.tar.xz |
||
Created attachment 898304 [details]
emerge-info.txt
Created attachment 898305 [details]
emerge-history.txt
Created attachment 898306 [details]
environment
Created attachment 898307 [details]
etc.portage.tar.xz
Created attachment 898308 [details]
qlist-info.txt
Created attachment 898309 [details]
sci-mathematics:z3-4.13.0:20240724-223128.log.xz
Created attachment 898310 [details]
temp.tar.xz
|
too long lines were shrinked: FAILED: src/math/lp/CMakeFiles/lp.dir/core_solver_pretty_printer.cpp.o /usr/bin/x86_64-pc-linux-gnu-g++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0_build-abi_x86_64.amd64/src -I/var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src -O2 -pipe -march=native -fno-diagnostics-color -Werror=odr -Werror=return In file included from /var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src/math/lp/lp_core_solver_base.h:28, from /var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src/math/lp/core_solver_pretty_printer_def.h:26, from /var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src/math/lp/core_solver_pretty_printer.cpp:21: /var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src/math/lp/static_matrix.h: In member function lp::static_matrix<T, X>::ref lp::static_matrix<T, X>::ref::operator=(lp::static_matrix<T, X>::ref&): /var/tmp/portage/sci-mathematics/z3-4.13.0/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:82:72: error: class lp::static_matrix<T, X> has no member named get; did you mean set? 82 | ref operator=(ref & v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; } | ^~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_hardened-20240724-140502 UNMASKED: Please re-assign to toolchain@ if you get a test failure in C, C++, or Fortran code which makes no sense. <sys-devel/gcc-15.0.9999:15 Requested by dilfridge ~sys-libs/glibc-2.40.0 Requested by sam ~dev-libs/icu-75.1 ~dev-libs/icu-layoutex-75.1 Requested by sam >=sys-libs/ncurses-6.5 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang/llvm (if any): Python 3.12.4 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.79.0 * GENTOO_VM= CLASSPATH="" JAVA_HOME="" JAVACFLAGS="" COMPILER="" The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): HEAD of ::gentoo commit 553d8129335ff74804d7748f1d01808b4c2c776f Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Jul 24 19:49:13 2024 +0000 2024-07-24 19:49:12 UTC emerge -qpvO sci-mathematics/z3 [ebuild N ] sci-mathematics/z3-4.13.0 USE="examples isabelle -doc -gmp -java -python" ABI_X86="(64) -32 (-x32)" PYTHON_SINGLE_TARGET="python3_12 -python3_10 -python3_11"