Bug 833362 – sci-mathematics/cvc4-1.8-r1 - CMake Error at .../CMakeLists.txt:11 (message):

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Toralf Förster 2022-02-14 20:57:18 UTC]

-- 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 <[e-mail]>
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"

[Comment 1 Toralf Förster 2022-02-14 20:57:19 UTC]

Created attachment 765121 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-02-14 20:57:20 UTC]

Created attachment 765122 [details]
CMakeError.log

[Comment 3 Toralf Förster 2022-02-14 20:57:21 UTC]

Created attachment 765123 [details]
CMakeOutput.log

[Comment 4 Toralf Förster 2022-02-14 20:57:23 UTC]

Created attachment 765124 [details]
emerge-history.txt

[Comment 5 Toralf Förster 2022-02-14 20:57:26 UTC]

Created attachment 765125 [details]
environment

[Comment 6 Toralf Förster 2022-02-14 20:57:27 UTC]

Created attachment 765126 [details]
etc.portage.tar.bz2

[Comment 7 Toralf Förster 2022-02-14 20:57:28 UTC]

Created attachment 765127 [details]
logs.tar.bz2

[Comment 8 Toralf Förster 2022-02-14 20:57:28 UTC]

Created attachment 765128 [details]
sci-mathematics:cvc4-1.8-r1:20220214-200957.log

[Comment 9 Toralf Förster 2022-02-14 20:57:30 UTC]

Created attachment 765129 [details]
temp.tar.bz2

[Comment 10 Larry the Git Cow 2022-02-17 14:10:50 UTC]

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 <[e-mail]>
AuthorDate: 2022-02-17 14:10:32 +0000
Commit:     Alfredo Tupone <[e-mail]>
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 <[e-mail]>

 sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)