Your message dated Wed, 21 Feb 2024 00:37:51 +0000
with message-id <e1rcacr-002vin...@fasolo.debian.org>
and subject line Bug#1064351: fixed in ikos 3.2-3
has caused the Debian Bug report #1064351,
regarding ikos: FTBFS: Could NOT find GMP.
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1064351: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064351
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: ikos
Source-Version: 3.2-3
Done: Scott Talbert <s...@techie.net>
We believe that the bug you reported is fixed in the latest version of
ikos, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1064...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <s...@techie.net> (supplier of updated ikos package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Feb 2024 18:53:42 -0500
Source: ikos
Architecture: source
Version: 3.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Python Team <team+pyt...@tracker.debian.org>
Changed-By: Scott Talbert <s...@techie.net>
Closes: 1064351
Changes:
ikos (3.2-3) unstable; urgency=medium
.
* Add missing Build-Depends (Closes: #1064351)
Checksums-Sha1:
fc5777364c0490c63c9c895d6e8fc43d32f663cb 2231 ikos_3.2-3.dsc
2b857fe670d6ed964389bd7c93816c5ba2e823f1 7804 ikos_3.2-3.debian.tar.xz
f3875352338a61bb25dade7ab4778fc510e7e183 10132 ikos_3.2-3_amd64.buildinfo
Checksums-Sha256:
9726652719e68faafec49d35e5d0a965d0d4d0dd059ea04a25f7bd7187f4c023 2231
ikos_3.2-3.dsc
d42a99fc43d808e20982bf60f55fd9f38d877c059458d2cd1693800cacf853e6 7804
ikos_3.2-3.debian.tar.xz
cd4f7540272d9fe5cf96289d5373cbc06389f3fa4bea5651311f94d8a5b493d2 10132
ikos_3.2-3_amd64.buildinfo
Files:
32b623ea537463684b2c4fca1e1add53 2231 non-free/devel optional ikos_3.2-3.dsc
c64cf094feb541d8a0fbe8e8003cb2be 7804 non-free/devel optional
ikos_3.2-3.debian.tar.xz
cdff8d6999e142b7057f4e81016b5a7c 10132 non-free/devel optional
ikos_3.2-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXVQOgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiXKoP/AkViATLjm8x3WrVcMdjDS26nIjgtnIydzMm
PRUTWPMC2kjpLnbnJyEr90xhjyNlM+p3hJUeT1M2UWsUuUve9YxDX0GaNxAdupVS
Jnu2Ip8i4ZBDJoHnXF9xs36JjZuwD6xVY2u0b/QIjqdc9MCqXw5lfDFiTf3B8IvC
rub2wKCHVDCa0+CPOBkazigz3mHbwzI4y9J5lgF+pUyFbA/416kZVQU6hRobGSd0
/XAVNhX79Db8agD5ByT/KIwYtWKiCDxhfnPWIayia98XsztDree6601NwFYSPbYD
mBK2OkCO8jK8Vo/6+ATvUyllS17q0i0fsJhqQeB/pQtJOWqYdJHhmjg6uO1jSCce
RV+xI8R/IQThfdZcp15AiVVgNzsDq2gLo9sZ6AHU3WKjKqO0QI739ARnReDgMTmu
zXT7oS4oUfoFW0ghQOPGTHWmYC8PFHR13J28TnngFXr5E1Ou5jrYoO9nActwjKUl
3ZI1Pk1cNbCTAf1cLXsiYzJNy0L3iie2DGdL+ouCz7Lg9R8eXIpy/4y1AyLcOT5K
NsWnWdxZpSakWqC4Zz7wu5AuRYsl7gwO7MgZZ9HsAmol+nxfIqXCdXT20EKHq055
/fM8uCxFTT4TW7YFLcTaEjDh3mZxAUXNeQ/tc1lV0HzpI2QIwAtMC0ePe7hk1a06
jQYXAsq9
=V+/5
-----END PGP SIGNATURE-----
pgp8Z2YiHDJs4.pgp
Description: PGP signature
--- End Message ---
