Source: ikos Version: 3.2-2 Severity: serious Tags: ftbfs Justification: fails to build from source
Hi, ikos FTBFS with ... debian/rules override_dh_auto_configure make[1]: Entering directory '/build/ikos-3.2' dh_auto_configure -- \ -DLLVM_CONFIG_EXECUTABLE=/usr/bin/llvm-config-14 \ -DINSTALL_PYTHON_VIRTUALENV=OFF \ -DPYTHON_VENV_EXECUTABLE=/usr/bin/python3 \ -DCMAKE_BUILD_TYPE=RelWithDebInfo cd obj-x86_64-linux-gnu && DEB_PYTHON_INSTALL_LAYOUT=deb cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DFETCHCONTENT_FULLY_DISCONNECTED=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/x86_64-linux-gnu -DLLVM_CONFIG_EXECUTABLE=/usr/bin/llvm-config-14 -DINSTALL_PYTHON_VIRTUALENV=OFF -DPYTHON_VENV_EXECUTABLE=/usr/bin/python3 -DCMAKE_BUILD_TYPE=RelWithDebInfo .. CMake Deprecation Warning at CMakeLists.txt:41 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument <min> value or use a ...<max> suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is GNU 13.2.0 -- The CXX compiler identification is GNU 13.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - 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/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Install prefix: /usr -- Build type: RelWithDebInfo -- CMake version: 3.28.3 -- CMake generator: Unix Makefiles -- Including core CMake Deprecation Warning at core/CMakeLists.txt:41 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument <min> value or use a ...<max> suffix to tell CMake that the project does not need compatibility with older versions. Found Boost: /usr/lib/x86_64-linux-gnu/cmake/Boost-1.83.0 (found version "1.55.0") Found Boost components: unit_test_framework CMake Error at /usr/share/cmake-3.28/Modules/FindPackageHandleStandardArgs.cmake:230 (message): Could NOT find GMP. Please provide -DGMP_ROOT=/path/to/gmp (missing: GMP_INCLUDE_DIR GMP_LIB GMPXX_INCLUDE_DIR GMPXX_LIB) Call Stack (most recent call first): /usr/share/cmake-3.28/Modules/FindPackageHandleStandardArgs.cmake:600 (_FPHSA_FAILURE_MESSAGE) cmake/FindGMP.cmake:109 (find_package_handle_standard_args) core/CMakeLists.txt:90 (find_package) -- Configuring incomplete, errors occurred! ... Andreas