sci-mathematics:cvc4-1.8-r1:20220214-200957.log

sci-mathematics:cvc4-1.8-r1:20220214-200957.log (text/plain), 6.80 KB, created by Toralf Förster on 2022-02-14 20:57:28 UTC

 * Package:    sci-mathematics/cvc4-1.8-r1
 * 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
 * Please clean PYTHON_COMPAT of obsolete implementations:
 *   python3_7
 * Checking whether python3_10 is suitable ...
 *   >=dev-lang/python-3.10.0_p1-r1:3.10 ...
 [ ok ]
 * Using python3.10 to build (via PYTHON_COMPAT iteration)
>>> Unpacking source...
>>> Unpacking cvc4-1.8.tar.gz to /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build"
 * Applying cvc4-1.8-gentoo.patch ...
patching file CMakeLists.txt
Hunk #2 succeeded at 193 with fuzz 2 (offset 50 lines).
Hunk #3 succeeded at 216 (offset 50 lines).
patching file test/regress/CMakeLists.txt
patching file src/CMakeLists.txt
Hunk #1 succeeded at 1021 (offset 106 lines).
 [ 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.8-r1/work/CVC4-archived-1.8 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build"
cmake -C /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/gentoo_common_config.cmake -G Unix Makefiles -DCMAKE_INSTALL_PREFIX=/usr -DANTLR_BINARY=/usr/bin/antlr3 -DENABLE_GPL=ON -DUSE_CLN=ON -DUSE_READLINE=ON -DENABLE_STATISTICS=ON -DENABLE_PROOFS=OFF -DCMAKE_BUILD_TYPE=Gentoo -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/gentoo_toolchain.cmake  /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8
loading initial cache file /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/gentoo_common_config.cmake
-- The C compiler identification is GNU 11.2.1
-- The CXX compiler identification is GNU 11.2.1
-- 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_Wimplicit_fallthrough
-- Performing Test HAVE_FLAG_Wimplicit_fallthrough - Success
-- Configuring with C flag '-Wimplicit-fallthrough'
-- Configuring with CXX flag '-Wimplicit-fallthrough'
-- Performing Test HAVE_FLAG_Wshadow
-- Performing Test HAVE_FLAG_Wshadow - Success
-- Configuring with C flag '-Wshadow'
-- Configuring with CXX flag '-Wshadow'
-- Performing Test HAVE_FLAG_Wno_class_memaccess
-- Performing Test HAVE_FLAG_Wno_class_memaccess - Success
-- Configuring with CXX flag '-Wno-class-memaccess'
-- Using GNU gold linker.
-- Found PythonInterp: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/python3.10/bin/python (found version "3.10.2") 
-- Found GMP: /usr/include  
-- Found GMP libs: /usr/lib64/libgmp.so
-- Found CLN: /usr/include (found suitable version "1.3.6", minimum required is "1.2.2") 
-- Found CLN libs: /usr/lib64/libcln.so
-- Found Readline: /usr/include  
-- Found Readline libs: /usr/lib64/libreadline.so;/usr/lib64/libtinfo.so
-- Performing Test CVC4_NEED_INT64_T_OVERLOADS
-- Performing Test CVC4_NEED_INT64_T_OVERLOADS - Failed
-- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD
-- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD - Failed
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Looking for C++ include ext/stdio_filebuf.h
-- Looking for C++ include ext/stdio_filebuf.h - found
-- Looking for clock_gettime
-- Looking for clock_gettime - found
-- Looking for ffs
-- Looking for ffs - found
-- Looking for optreset
-- Looking for optreset - not found
-- Looking for sigaltstack
-- Looking for sigaltstack - found
-- Looking for strerror_r
-- Looking for strerror_r - found
-- Looking for strtok_r
-- 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'.


-- Configuring incomplete, errors occurred!
See also "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeOutput.log".
See also "/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeError.log".
 * ERROR: sci-mathematics/cvc4-1.8-r1::gentoo failed (configure phase):
 *   cmake failed
 * 
 * Call stack:
 *     ebuild.sh, line  127:  Called src_configure
 *   environment, line 3075:  Called cmake_src_configure
 *   environment, line 1452:  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.8-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cvc4-1.8-r1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cvc4-1.8-r1:20220214-200957.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build'
 * S: '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8'