Your message dated Sun, 12 Oct 2025 09:49:47 +0000
with message-id <[email protected]>
and subject line Bug#1112978: fixed in gringo 5.8.0-1
has caused the Debian Bug report #1112978,
regarding gringo: FTBFS with CMake 4
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 [email protected]
immediately.)
--
1112978: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1112978
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: gringo
Version: 5.6.2-2
Severity: serious
User: [email protected]
Usertags: cmake-4
Tags: ftbfs, forky, sid
Dear maintainer,
During a test rebuild for CMake 4, gringo failed to rebuild.
Log Summary:
-------------------------------------------------------------------------------
[...]
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
HOME=/sbuild-nonexistent
LANG=C.UTF-8
LC_ALL=C.UTF-8
LOGNAME=sbuild
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SHELL=/bin/sh
USER=sbuild
dpkg-buildpackage
-----------------
Command: dpkg-buildpackage --sanitize-env -us -uc -b
dpkg-buildpackage: info: source package gringo
dpkg-buildpackage: info: source version 5.6.2-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Graham Inggs <[email protected]>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture arm64
debian/rules clean
dh clean --buildsystem=cmake --with pkgkde_symbolshelper
debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/gringo-5.6.2'
dh_auto_clean --builddirectory=build.dir/hardening_mt
make[1]: Leaving directory '/build/reproducible-path/gringo-5.6.2'
dh_autoreconf_clean -O--buildsystem=cmake
dh_clean -O--buildsystem=cmake
debian/rules binary
dh binary --buildsystem=cmake --with pkgkde_symbolshelper
dh_update_autotools_config -O--buildsystem=cmake
dh_autoreconf -O--buildsystem=cmake
debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/reproducible-path/gringo-5.6.2'
dh_auto_configure --builddirectory=build.dir/hardening_mt --
-DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -LAH
-DCMAKE_SKIP_RPATH=YES -DCLINGO_MANAGE_RPATH=OFF -DLIB_POTASSCO_BUILD_APP=ON
-DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_APP=OFF -DCLASP_BUILD_TESTS=OFF
-DCLASP_BUILD_EXAMPLES=OFF -DCLINGO_BUILD_EXAMPLES=ON -DCLINGO_BUILD_TESTS=ON
-DCLINGO_BUILD_WITH_PYTHON=OFF
cd build.dir/hardening_mt && DEB_PYTHON_INSTALL_LAYOUT=deb
PKG_CONFIG=/usr/bin/pkg-config 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/aarch64-linux-gnu
-DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -LAH
-DCMAKE_SKIP_RPATH=YES -DCLINGO_MANAGE_RPATH=OFF -DLIB_POTASSCO_BUILD_APP=ON
-DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_APP=OFF -DCLASP_BUILD_TESTS=OFF
-DCLASP_BUILD_EXAMPLES=OFF -DCLINGO_BUILD_EXAMPLES=ON -DCLINGO_BUILD_TESTS=ON
-DCLINGO_BUILD_WITH_PYTHON=OFF ../..
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!
-- Cache values
cd build.dir/hardening_mt && tail -v -n \+0 CMakeCache.txt
==> CMakeCache.txt <==
# This is the CMakeCache file.
# For build in directory:
/build/reproducible-path/gringo-5.6.2/build.dir/hardening_mt
# It was generated by CMake: /usr/bin/cmake
# You can edit this file to change values found and used by cmake.
# If you do not want to change any of the values, simply exit the editor.
# If you do want to change a value, simply edit, save, and exit the editor.
# The syntax for the file is as follows:
# KEY:TYPE=VALUE
# KEY is the name of a variable in the cache.
# TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!.
# VALUE is the current value for the KEY.
########################
# EXTERNAL cache entries
########################
//No help, variable specified on the command line.
CLASP_BUILD_APP:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CLASP_BUILD_EXAMPLES:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CLASP_BUILD_TESTS:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CLINGO_BUILD_EXAMPLES:UNINITIALIZED=ON
//No help, variable specified on the command line.
CLINGO_BUILD_TESTS:UNINITIALIZED=ON
//No help, variable specified on the command line.
CLINGO_BUILD_WITH_PYTHON:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CLINGO_MANAGE_RPATH:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CMAKE_BUILD_TYPE:UNINITIALIZED=Release
//No help, variable specified on the command line.
CMAKE_EXPORT_NO_PACKAGE_REGISTRY:UNINITIALIZED=ON
//No help, variable specified on the command line.
CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY:UNINITIALIZED=ON
//Value Computed by CMake.
CMAKE_FIND_PACKAGE_REDIRECTS_DIR:STATIC=/build/reproducible-path/gringo-5.6.2/build.dir/hardening_mt/CMakeFiles/pkgRedirects
//No help, variable specified on the command line.
CMAKE_FIND_USE_PACKAGE_REGISTRY:UNINITIALIZED=OFF
//No help, variable specified on the command line.
CMAKE_INSTALL_LIBDIR:UNINITIALIZED=lib/aarch64-linux-gnu
//No help, variable specified on the command line.
CMAKE_INSTALL_LOCALSTATEDIR:UNINITIALIZED=/var
//No help, variable specified on the command line.
CMAKE_INSTALL_PREFIX:UNINITIALIZED=/usr
//No help, variable specified on the command line.
CMAKE_INSTALL_RUNSTATEDIR:UNINITIALIZED=/run
//No help, variable specified on the command line.
CMAKE_INSTALL_SYSCONFDIR:UNINITIALIZED=/etc
//No help, variable specified on the command line.
CMAKE_SKIP_INSTALL_ALL_DEPENDENCY:UNINITIALIZED=ON
//No help, variable specified on the command line.
CMAKE_SKIP_RPATH:UNINITIALIZED=YES
//No help, variable specified on the command line.
CMAKE_VERBOSE_MAKEFILE:UNINITIALIZED=ON
//No help, variable specified on the command line.
FETCHCONTENT_FULLY_DISCONNECTED:UNINITIALIZED=ON
//No help, variable specified on the command line.
LIB_POTASSCO_BUILD_APP:UNINITIALIZED=ON
//No help, variable specified on the command line.
LIB_POTASSCO_BUILD_TESTS:UNINITIALIZED=ON
########################
# INTERNAL cache entries
########################
//This is the directory where this CMakeCache.txt was created
CMAKE_CACHEFILE_DIR:INTERNAL=/build/reproducible-path/gringo-5.6.2/build.dir/hardening_mt
//Major version of cmake used to create the current loaded cache
CMAKE_CACHE_MAJOR_VERSION:INTERNAL=4
//Minor version of cmake used to create the current loaded cache
CMAKE_CACHE_MINOR_VERSION:INTERNAL=1
//Patch version of cmake used to create the current loaded cache
CMAKE_CACHE_PATCH_VERSION:INTERNAL=1
//Path to CMake executable.
CMAKE_COMMAND:INTERNAL=/usr/bin/cmake
//Path to cpack program executable.
CMAKE_CPACK_COMMAND:INTERNAL=/usr/bin/cpack
//Path to ctest program executable.
CMAKE_CTEST_COMMAND:INTERNAL=/usr/bin/ctest
//Name of external makefile project generator.
CMAKE_EXTRA_GENERATOR:INTERNAL=
//Name of generator.
CMAKE_GENERATOR:INTERNAL=Unix Makefiles
//Generator instance identifier.
CMAKE_GENERATOR_INSTANCE:INTERNAL=
//Name of generator platform.
CMAKE_GENERATOR_PLATFORM:INTERNAL=
//Name of generator toolset.
CMAKE_GENERATOR_TOOLSET:INTERNAL=
//Source directory with the top level CMakeLists.txt file for this
// project
CMAKE_HOME_DIRECTORY:INTERNAL=/build/reproducible-path/gringo-5.6.2
//Name of CMakeLists files to read
CMAKE_LIST_FILE_NAME:INTERNAL=CMakeLists.txt
//number of local generators
CMAKE_NUMBER_OF_MAKEFILES:INTERNAL=1
//Path to CMake installation.
CMAKE_ROOT:INTERNAL=/usr/share/cmake-4.1
dh_auto_configure: error: cd build.dir/hardening_mt &&
DEB_PYTHON_INSTALL_LAYOUT=deb PKG_CONFIG=/usr/bin/pkg-config 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/aarch64-linux-gnu
-DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -LAH
-DCMAKE_SKIP_RPATH=YES -DCLINGO_MANAGE_RPATH=OFF -DLIB_POTASSCO_BUILD_APP=ON
-DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_APP=OFF -DCLASP_BUILD_TESTS=OFF
-DCLASP_BUILD_EXAMPLES=OFF -DCLINGO_BUILD_EXAMPLES=ON -DCLINGO_BUILD_TESTS=ON
-DCLINGO_BUILD_WITH_PYTHON=OFF ../.. returned exit code 1
make[1]: *** [debian/rules:35: override_dh_auto_configure] Error 2
make[1]: Leaving directory '/build/reproducible-path/gringo-5.6.2'
make: *** [debian/rules:31: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2025-08-29T20:48:46Z
-------------------------------------------------------------------------------
The above is just how the build ends and not necessarily the most relevant part.
If required, the full build log is available here (for the next 30 days):
https://debusine.debian.net/artifact/2393332/
The most likely cause of build failures is the removed backwards compatibility
for
CMake versions earlier than 3.5. You can find additional information in my
debian-devel announcement:
https://lists.debian.org/debian-devel/2025/04/msg00310.html
About the archive rebuild: The build was made on debusine.debian.net,
using sbuild.
You can find the build task here:
https://debusine.debian.net/work-request/153027/
If this is really a bug in one of the build-depends, please use
reassign and affects, so that this is still visible in the BTS web
page for this package.
Thanks,
Timo
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 5.8.0-1
Done: Ralf Treinen <[email protected]>
We believe that the bug you reported is fixed in the latest version of
gringo, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[email protected]> (supplier of updated gringo 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Oct 2025 11:18:58 +0200
Source: gringo
Architecture: source
Version: 5.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Ralf Treinen <[email protected]>
Closes: 1112978
Changes:
gringo (5.8.0-1) unstable; urgency=medium
.
* Team upload
* New upstream release. Closes: 1112978.
* Refresh patches:
- gringo-python3-utf8.patch
- link-libatomic-check.patch
- use-system-catch-for-glibc-2.34-compat.patch
* Drop patches that have been resolved upstream:
- testsuite-python-open-rU.patch
- gcc13.diff
Checksums-Sha1:
edd932d76a7c122de8f056c0283ce663738bfbd3 2012 gringo_5.8.0-1.dsc
2dac2c09f81397e7182bb21915f6417cb4cbf2f3 4496694 gringo_5.8.0.orig.tar.gz
f9d64f793b7efb2fa2383608f181f50ed5684479 24284 gringo_5.8.0-1.debian.tar.xz
89ff6238e0a5c9e0192919dcbd012db7d45f7394 7370 gringo_5.8.0-1_source.buildinfo
Checksums-Sha256:
0bea5aa3fda1823be892610a7535b3ff9448f2f606de49545d20b8a76b5d81c4 2012
gringo_5.8.0-1.dsc
4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c 4496694
gringo_5.8.0.orig.tar.gz
e74d3e73e20a8148e3367ebf13857eb75d6efc38433f9fb4f5ed3803d7c08b85 24284
gringo_5.8.0-1.debian.tar.xz
e4644e893f49f9430cc429f539f73bfb3327348757388d0d87a91c339921d6ce 7370
gringo_5.8.0-1_source.buildinfo
Files:
7afdbc8429cf6c4b20d076bf45ecbb20 2012 interpreters optional gringo_5.8.0-1.dsc
4e477b392bab01cd1ffb3bd63aa9779d 4496694 interpreters optional
gringo_5.8.0.orig.tar.gz
d25aa7ad09fca5b3020a1000a26865ae 24284 interpreters optional
gringo_5.8.0-1.debian.tar.xz
87a00c4f2bf3d5108f2527cf08de48fa 7370 interpreters optional
gringo_5.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmjrdrAACgkQdFxHZtTK
zf9AwRAAoxxICgFz/dsTbt7PDnHc+LBQMNckDPzge1l8WAWZOhKq6whTzTKuugMh
uFudUcO2fla7UpK+LUAZ2Drt2+zNVyf4O352kDTEGieKyHnMgB9UYf4OV2RIn5Mx
z0UAoqm6eEmp2BEyj6KVxv3NXolNBNmN3bYs4fIXEttG8PfjRxb7xXdkxEDqd3U4
0mwZuD42LqtKhpPoOebMKaVYpzDdIt54IsZyEzZfxFh3wnDaYDvhmoEfXI2uEhif
TC9RonzR5B1Fcvew2v/I833o/d7w8MINvQEX3fTG7fZT7gpLo6iKwabEtjG2By+T
yAUG8RkpxkCGE58UNpUhXTqgNc05SLYu/JHnFybTg3G4DTxepdM512TkEnK/f7VJ
FkQVUrq1TZybI5pzRg77Vste1y5rfWEfJ21EDtZ1whWoRiWiE0YdsJ1Ffr95Rrn6
Th9EmggJ7Qdj+qMvRE4j+rI0R1pB5cSQwfMU1ElcVCg75L8TQ0anYU2rjJIZNmne
az6Q3D/vwDd64IJv3C2eGg5fWgEZFrupDs3dCXXxLh8co6mRkrbIkO1G7z+lTmvk
XnotrrX/cnlJrKAaZYiNXaZawJMOI3WKeizEol7StGBiF2axLMRen8GirbxpG7DK
YXS0glead6ICnCGnrJGZ/9aJ339e89YqnjmL7KuFeE/bvfljLBk=
=kEp6
-----END PGP SIGNATURE-----
pgpd0uaONOtUr.pgp
Description: PGP signature
--- End Message ---
