sci-mathematics:cvc4-1.7:20210118-225956.log

sci-mathematics:cvc4-1.7:20210118-225956.log (text/plain), 4.62 KB, created by Toralf Förster on 2021-01-19 09:35:24 UTC

 * Package:    sci-mathematics/cvc4-1.7
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 cln elibc_glibc kernel_linux readline statistics userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking cvc4-1.7.tar.gz to /var/tmp/portage/sci-mathematics/cvc4-1.7/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cvc4-1.7/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7 ...
 * Applying cvc4-1.7-gentoo.patch ...
patching file CMakeLists.txt
Hunk #1 succeeded at 143 with fuzz 1.
patching file test/regress/CMakeLists.txt
patching file src/CMakeLists.txt
 [ ok ]
 * Hardcoded definition(s) removed in CMakeLists.txt:
 *    set(CMAKE_BUILD_TYPE Debug)
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7 ...
>>> Working in BUILD_DIR: "/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build"
cmake -C /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/gentoo_common_config.cmake -G Unix Makefiles -DCMAKE_INSTALL_PREFIX=/usr -DANTLR_BINARY=/usr/bin/antlr3 -DENABLE_GPL=ON -DENABLE_OPTIMIZED=ON -DUSE_CLN=ON -DUSE_READLINE=ON -DENABLE_STATISTICS=ON -DENABLE_PROOFS=OFF -DENABLE_REPLAY=OFF -DCMAKE_BUILD_TYPE=Gentoo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/gentoo_toolchain.cmake  /var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7
loading initial cache file /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/gentoo_common_config.cmake
-- The C compiler identification is GNU 10.2.0
-- The CXX compiler identification is GNU 10.2.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/x86_64-pc-linux-gnu-gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/x86_64-pc-linux-gnu-g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Building Gentoo build
-- Performing Test HAVE_FLAG_Wall
-- Performing Test HAVE_FLAG_Wall - Success
-- Configuring with C flag '-Wall'
-- Configuring with CXX flag '-Wall'
-- Performing Test HAVE_FLAG_fexceptions
-- Performing Test HAVE_FLAG_fexceptions - Success
-- Configuring with C flag '-fexceptions'
-- Performing Test HAVE_FLAG_Wno_deprecated
-- Performing Test HAVE_FLAG_Wno_deprecated - Success
-- Configuring with C flag '-Wno-deprecated'
-- Configuring with CXX flag '-Wno-deprecated'
-- Performing Test HAVE_FLAG_Wsuggest_override
-- Performing Test HAVE_FLAG_Wsuggest_override - Success
-- Configuring with CXX flag '-Wsuggest-override'
-- Performing Test HAVE_FLAG_Wnon_virtual_dtor
-- Performing Test HAVE_FLAG_Wnon_virtual_dtor - Success
-- Configuring with CXX flag '-Wnon-virtual-dtor'
-- Performing Test HAVE_FLAG_Wno_class_memaccess
-- Performing Test HAVE_FLAG_Wno_class_memaccess - Success
-- 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)
  CMakeLists.txt:273 (find_package)


-- Configuring incomplete, errors occurred!
See also "/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeOutput.log".
 * ERROR: sci-mathematics/cvc4-1.7::gentoo failed (configure phase):
 *   cmake failed
 * 
 * Call stack:
 *     ebuild.sh, line  125:  Called src_configure
 *   environment, line 2153:  Called cmake-utils_src_configure
 *   environment, line  937:  Called die
 * The specific snippet of code:
 *       "${CMAKE_BINARY}" "${cmakeargs[@]}" "${CMAKE_USE_DIR}" || die "cmake failed";
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/cvc4-1.7::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cvc4-1.7::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cvc4-1.7:20210118-225956.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build'
 * S: '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7'