Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 936634 - 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
Summary: sci-mathematics/z3-4.13.0 - [ncurses-6.5] [icu-75.1] [glibc-2.40] [gcc-15] /....
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Michał Górny
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: gcc-15
  Show dependency tree
 
Reported: 2024-07-25 15:00 UTC by Toralf Förster
Modified: 2024-07-28 01:19 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,17.07 KB, text/plain)
2024-07-25 15:00 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,13.13 KB, text/plain)
2024-07-25 15:00 UTC, Toralf Förster
Details
environment (environment,201.67 KB, text/plain)
2024-07-25 15:00 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,32.75 KB, application/x-xz)
2024-07-25 15:00 UTC, Toralf Förster
Details
qlist-info.txt (qlist-info.txt,41.95 KB, text/plain)
2024-07-25 15:00 UTC, Toralf Förster
Details
sci-mathematics:z3-4.13.0:20240724-223128.log.xz (sci-mathematics:z3-4.13.0:20240724-223128.log.xz,15.55 KB, application/x-xz)
2024-07-25 15:00 UTC, Toralf Förster
Details
temp.tar.xz (temp.tar.xz,56.43 KB, application/x-xz)
2024-07-25 15:00 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2024-07-25 15:00:18 UTC
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"
Comment 1 Toralf Förster gentoo-dev 2024-07-25 15:00:19 UTC
Created attachment 898304 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-07-25 15:00:20 UTC
Created attachment 898305 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2024-07-25 15:00:21 UTC
Created attachment 898306 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2024-07-25 15:00:23 UTC
Created attachment 898307 [details]
etc.portage.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-07-25 15:00:24 UTC
Created attachment 898308 [details]
qlist-info.txt
Comment 6 Toralf Förster gentoo-dev 2024-07-25 15:00:25 UTC
Created attachment 898309 [details]
sci-mathematics:z3-4.13.0:20240724-223128.log.xz
Comment 7 Toralf Förster gentoo-dev 2024-07-25 15:00:27 UTC
Created attachment 898310 [details]
temp.tar.xz