-- Looking for strtok_r - found -- Performing Test STRERROR_R_CHAR_P -- Performing Test STRERROR_R_CHAR_P - Failed -- Found Git: /usr/bin/git (found version "2.35.1") CMake Error at src/options/CMakeLists.txt:11 (message): Could not find Python module toml. Install via `pip install toml'. ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4_abi32+64-20220212-111658 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-11.2.1 * clang/llvm (if any): clang version 13.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/13/bin /usr/lib/llvm/13 13.0.1 Python 3.9.10 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * Available Rust versions: [1] rust-bin-1.58.1 [2] rust-1.58.1 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] 2) Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: HEAD of ::gentoo commit fc00de55c193ddf7f7689a8edc246ed13c460f27 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Feb 14 18:37:02 2022 +0000 2022-02-14 18:37:01 UTC emerge -qpvO sci-mathematics/cvc4 [ebuild N ] sci-mathematics/cvc4-1.8-r1 USE="cln readline statistics -proofs"
Created attachment 765121 [details] emerge-info.txt
Created attachment 765122 [details] CMakeError.log
Created attachment 765123 [details] CMakeOutput.log
Created attachment 765124 [details] emerge-history.txt
Created attachment 765125 [details] environment
Created attachment 765126 [details] etc.portage.tar.bz2
Created attachment 765127 [details] logs.tar.bz2
Created attachment 765128 [details] sci-mathematics:cvc4-1.8-r1:20220214-200957.log
Created attachment 765129 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25d067881ac71f918b69864739c6e7fabbf5d9a4 commit 25d067881ac71f918b69864739c6e7fabbf5d9a4 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-02-17 14:10:32 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-02-17 14:10:32 +0000 sci-mathematics/cvc4: fix deps check Closes: https://bugs.gentoo.org/833362 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-)
