Bug 766099

Summary:	sci-mathematics/cvc4-1.7 : Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE)
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	762406
Attachments:	emerge-info.txt CMakeOutput.log emerge-history.txt environment etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:cvc4-1.7:20210118-225956.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2021-01-19 09:35:14 UTC

-- 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"

Comment 1 Toralf Förster gentoo-dev

2021-01-19 09:35:15 UTC

Created attachment 683644 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2021-01-19 09:35:16 UTC

Created attachment 683647 [details]
CMakeOutput.log

Comment 3 Toralf Förster gentoo-dev

2021-01-19 09:35:18 UTC

Created attachment 683650 [details]
emerge-history.txt

Comment 4 Toralf Förster gentoo-dev

2021-01-19 09:35:20 UTC

Created attachment 683653 [details]
environment

Comment 5 Toralf Förster gentoo-dev

2021-01-19 09:35:21 UTC

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

Comment 6 Toralf Förster gentoo-dev

2021-01-19 09:35:22 UTC

Created attachment 683659 [details]
logs.tar.bz2

Comment 7 Toralf Förster gentoo-dev

2021-01-19 09:35:24 UTC

Created attachment 683662 [details]
sci-mathematics:cvc4-1.7:20210118-225956.log

Comment 8 Toralf Förster gentoo-dev

2021-01-19 09:35:25 UTC

Created attachment 683665 [details]
temp.tar.bz2

Comment 9 Larry the Git Cow gentoo-dev

2021-01-20 07:32:17 UTC

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(-)