sci-mathematics:cvc4-1.8-r5:20250411-002343.log

sci-mathematics:cvc4-1.8-r5:20250411-002343.log (text/plain), 4.06 KB, created by Toralf Förster on 2025-04-11 07:34:36 UTC

 * Package:    sci-mathematics/cvc4-1.8-r5:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 cln elibc_glibc kernel_linux readline statistics
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
 * Checking whether python3_13 is suitable ...
 *   dev-lang/python:3.13 ...
 [ ok ]
 *   python_check_deps ...
 *     dev-python/tomli[python_targets_python3_13(-)] ...
 [ !! ]
 [ !! ]
 * Checking whether python3_12 is suitable ...
 *   dev-lang/python:3.12 ...
 [ ok ]
 *   python_check_deps ...
 *     dev-python/tomli[python_targets_python3_12(-)] ...
 [ ok ]
 [ ok ]
 * Using python3.12 to build (via PYTHON_COMPAT iteration)
>>> Unpacking source...
>>> Unpacking cvc4-1.8.tar.gz to /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/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 ]
 * Applying cvc4-1.8-toml.patch ...
 [ ok ]
 * Applying cvc4-1.8-bash-5.2-fix.patch ...
 [ ok ]
 * Applying cvc4-1.8-size_t.patch ...
 [ 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-r5/work/CVC4-archived-1.8 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build"
cmake -C /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/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-r5/work/cvc4-1.8_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8
loading initial cache file /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build/gentoo_common_config.cmake
CMake Error at CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.5 has been removed from CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.

  Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway.


-- Configuring incomplete, errors occurred!
 * ERROR: sci-mathematics/cvc4-1.8-r5::gentoo failed (configure phase):
 *   cmake failed
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_configure
 *   environment, line 2890:  Called cmake_src_configure
 *   environment, line 1428:  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-r5::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cvc4-1.8-r5::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cvc4-1.8-r5:20250411-002343.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build'
 * S: '/var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8'