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
