to tell CMake that the project requires at least <min> but has been updated to work with policies introduced by <max> or earlier. Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway. -- Configuring incomplete, errors occurred! * ERROR: sci-mathematics/cvc4-1.8-r5::gentoo failed (configure phase): * cmake failed ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_desktop_gnome_systemd-20250409-192004 KEYWORDED/UNMASKED [cmake-4] Requested by sam =dev-build/cmake-4* [gcc-15] Requested by sam <sys-devel/gcc-15.0.9999:15 Block bug #351559 if this looks like a parallel build issue. The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle" gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang version 20.1.2 llvm-config: 20.1.2 Python 3.12.10 go version go1.24.2 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) [2] ruby33 (with Rubygems) * Available Rust versions: [1] rust-bin-1.85.1 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] Available Java Virtual Machines: [1] openjdk-bin-21 system-vm HEAD of ::gentoo commit f2e5687e472118ed8542f7bb3d0b6c0fbcbb8fd1 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Apr 10 22:35:26 2025 +0000 2025-04-10 22:35:25 UTC The tinderbox task was: sci-mathematics/cvc4 emerge -qpvO =sci-mathematics/cvc4-1.8-r5 [ebuild N ] sci-mathematics/cvc4-1.8-r5 USE="cln readline statistics -proofs"
Created attachment 924327 [details] emerge-info.txt
Created attachment 924328 [details] emerge-history.txt
Created attachment 924329 [details] environment
Created attachment 924330 [details] etc.clang.tar.xz
Created attachment 924331 [details] etc.portage.tar.xz
Created attachment 924332 [details] logs.tar.xz
Created attachment 924333 [details] qlist-info.txt
Created attachment 924334 [details] sci-mathematics:cvc4-1.8-r5:20250411-002343.log
Created attachment 924335 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed2b5f92f64513fda4dacb3e13d98f18ac9fda13 commit ed2b5f92f64513fda4dacb3e13d98f18ac9fda13 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2025-04-11 18:29:06 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2025-04-11 18:29:45 +0000 sci-mathematics/cvc4: cmake now requires 3.5 Closes: https://bugs.gentoo.org/953543 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 2 +- sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-)
