-- Configuring with CXX flag '-Wno-class-memaccess' CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:218 (message): Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) Call Stack (most recent call first): /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:582 (_FPHSA_FAILURE_MESSAGE) /usr/share/cmake/Modules/FindPythonInterp.cmake:175 (FIND_PACKAGE_HANDLE_STANDARD_ARGS) ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20201231-222458 ------------------------------------------------------------------- gcc-config -l: clang version 11.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/11/bin /usr/lib/llvm/11 11.0.1 Available Python interpreters, in order of preference: [1] python3.8 [2] python3.9 (fallback) [3] python3.7 (fallback) [4] python2.7 (fallback) [5] pypy3 (fallback) Available Ruby profiles: (none found) Available Rust versions: [1] rust-1.48.0 * The following VMs are available for generation-2: 1) JamVM JDK 2.0.0 [jamvm] *) AdoptOpenJDK 8.272_p10 [openjdk-bin-8] Available Java Virtual Machines: [1] jamvm [2] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.8.4 timestamp(s) of HEAD at this tinderbox image: /var/db/repos/gentoo Mon Jan 18 09:58:28 PM UTC 2021 emerge -qpvO sci-mathematics/cvc4 [ebuild N ] sci-mathematics/cvc4-1.7 USE="cln readline statistics -proofs -replay"
Created attachment 683644 [details] emerge-info.txt
Created attachment 683647 [details] CMakeOutput.log
Created attachment 683650 [details] emerge-history.txt
Created attachment 683653 [details] environment
Created attachment 683656 [details] etc.portage.tar.bz2
Created attachment 683659 [details] logs.tar.bz2
Created attachment 683662 [details] sci-mathematics:cvc4-1.7:20210118-225956.log
Created attachment 683665 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e516f03a0f0543480601b545cadfa074c6051eb commit 5e516f03a0f0543480601b545cadfa074c6051eb Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2021-01-20 07:31:58 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2021-01-20 07:31:58 +0000 sci-mathematics/cvc4: add python dep Closes: https://bugs.gentoo.org/766099 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/cvc4/{cvc4-1.7.ebuild => cvc4-1.7-r1.ebuild} | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-)
