too long lines were shrinked: [13/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/wor [14/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/wor [15/101] /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/wor FAILED: src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o /usr/bin/x86_64-pc-linux-gnu-g++ -DENABLE_LINE_EDITING -DUSE_READLINE -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/mtl -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/minisat/core -I/var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc: In member function SymRef PtStore::lookupSymbol(const char*, const vec<PTRef>&, SymbolMatcher, SRef): /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/pterms/PtStore.cc:105:38: error: any_of is not a member of std 105 | if (not std::any_of(candidates.begin(), candidates.end(), | ^~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20231102-160004 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-14 * clang/llvm (if any): clang version 17.0.4 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.4 Python 3.11.6 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.73.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17] 2) Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21] *) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-17 [3] openjdk-bin-21 php cli (if any): [1] php8.1 [2] php8.2 * go version go1.21.3 linux/amd64 HEAD of ::gentoo commit 7646f62fcfab5e3418e2446d3c6c1b8a29d00e3a Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Nov 4 13:47:55 2023 +0000 2023-11-04 13:47:54 UTC emerge -qpvO sci-mathematics/opensmt [ebuild N ] sci-mathematics/opensmt-2.5.2 USE="readline -debug -libedit -test"
Created attachment 874059 [details] emerge-info.txt
Created attachment 874060 [details] emerge-history.txt
Created attachment 874061 [details] environment
Created attachment 874062 [details] etc.clang.tar.xz
Created attachment 874063 [details] etc.portage.tar.xz
Created attachment 874064 [details] qlist-info.txt
Created attachment 874065 [details] sci-mathematics:opensmt-2.5.2:20231104-141800.log
Created attachment 874066 [details] temp.tar.xz
Missing <algorithm> include.
See also: https://github.com/usi-verification-and-security/opensmt/pull/653
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de122ee20e5f4b74dd53fbe68fcc25de0de8dbe3 commit de122ee20e5f4b74dd53fbe68fcc25de0de8dbe3 Author: Kostadin Shishmanov <kocelfc@tutanota.com> AuthorDate: 2023-11-07 17:45:28 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-11-07 18:50:12 +0000 sci-mathematics/opensmt: fix build with gcc 14 Closes: https://bugs.gentoo.org/916855 Signed-off-by: Kostadin Shishmanov <kocelfc@tutanota.com> Closes: https://github.com/gentoo/gentoo/pull/33708 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../opensmt/files/opensmt-2.5.2-gcc-14.patch | 68 ++++++++++++++++++++++ sci-mathematics/opensmt/opensmt-2.5.2.ebuild | 4 +- 2 files changed, 71 insertions(+), 1 deletion(-)
