Your message dated Mon, 27 Oct 2025 09:34:08 +0000
with message-id <[email protected]>
and subject line Bug#1112823: fixed in cvc4 1.8-5
has caused the Debian Bug report #1112823,
regarding cvc4: 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.)
--
1112823: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1112823
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cvc4
Version: 1.8-4
Severity: serious
User: [email protected]
Usertags: cmake-4
Tags: ftbfs, forky, sid
Dear maintainer,
During a test rebuild for CMake 4, cvc4 failed to rebuild.
Log Summary:
-------------------------------------------------------------------------------
[...]
SHELL=/bin/sh
USER=sbuild
dpkg-buildpackage
-----------------
Command: dpkg-buildpackage --sanitize-env -us -uc -b
dpkg-buildpackage: info: source package cvc4
dpkg-buildpackage: info: source version 1.8-4
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Alexandre Detiste <[email protected]>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture arm64
debian/rules clean
dh clean --buildsystem=cmake
dh_auto_clean -O--buildsystem=cmake
dh_autoreconf_clean -O--buildsystem=cmake
dh_clean -O--buildsystem=cmake
debian/rules binary
dh binary --buildsystem=cmake
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/cvc4-1.8'
dh_auto_configure -- \
-DENABLE_GPL=ON -DENABLE_SHARED=ON \
-DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON \
-DENABLE_STATISTICS=ON -DENABLE_DUMPING=ON \
-DENABLE_UNIT_TESTING=ON -DENABLE_BEST=ON \
-DUSE_READLINE=ON -DUSE_PYTHON3=ON \
-DUSE_ABC=OFF -DUSE_CADICAL=OFF -DUSE_CLN=ON \
-DUSE_CRYPTOMINISAT=OFF -DUSE_KISSAT=OFF \
-DUSE_GLPK=OFF \
-DCMAKE_BUILD_TYPE=Production
cd obj-aarch64-linux-gnu && 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
-DENABLE_GPL=ON -DENABLE_SHARED=ON -DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON
-DENABLE_STATISTICS=ON -DENABLE_DUMPING=ON -DENABLE_UNIT_TESTING=ON
-DENABLE_BEST=ON -DUSE_READLINE=ON -DUSE_PYTHON3=ON -DUSE_ABC=OFF
-DUSE_CADICAL=OFF -DUSE_CLN=ON -DUSE_CRYPTOMINISAT=OFF -DUSE_KISSAT=OFF
-DUSE_GLPK=OFF -DCMAKE_BUILD_TYPE=Production ..
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!
cd obj-aarch64-linux-gnu && tail -v -n \+0 CMakeCache.txt
==> CMakeCache.txt <==
# This is the CMakeCache file.
# For build in directory:
/build/reproducible-path/cvc4-1.8/obj-aarch64-linux-gnu
# 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.
CMAKE_BUILD_TYPE:UNINITIALIZED=Production
//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/cvc4-1.8/obj-aarch64-linux-gnu/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_VERBOSE_MAKEFILE:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_BEST:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_DEBUG_SYMBOLS:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_DUMPING:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_GPL:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_PROOFS:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_SHARED:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_STATISTICS:UNINITIALIZED=ON
//No help, variable specified on the command line.
ENABLE_UNIT_TESTING:UNINITIALIZED=ON
//No help, variable specified on the command line.
FETCHCONTENT_FULLY_DISCONNECTED:UNINITIALIZED=ON
//No help, variable specified on the command line.
USE_ABC:UNINITIALIZED=OFF
//No help, variable specified on the command line.
USE_CADICAL:UNINITIALIZED=OFF
//No help, variable specified on the command line.
USE_CLN:UNINITIALIZED=ON
//No help, variable specified on the command line.
USE_CRYPTOMINISAT:UNINITIALIZED=OFF
//No help, variable specified on the command line.
USE_GLPK:UNINITIALIZED=OFF
//No help, variable specified on the command line.
USE_KISSAT:UNINITIALIZED=OFF
//No help, variable specified on the command line.
USE_PYTHON3:UNINITIALIZED=ON
//No help, variable specified on the command line.
USE_READLINE:UNINITIALIZED=ON
########################
# INTERNAL cache entries
########################
//This is the directory where this CMakeCache.txt was created
CMAKE_CACHEFILE_DIR:INTERNAL=/build/reproducible-path/cvc4-1.8/obj-aarch64-linux-gnu
//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/cvc4-1.8
//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 obj-aarch64-linux-gnu &&
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
-DENABLE_GPL=ON -DENABLE_SHARED=ON -DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON
-DENABLE_STATISTICS=ON -DENABLE_DUMPING=ON -DENABLE_UNIT_TESTING=ON
-DENABLE_BEST=ON -DUSE_READLINE=ON -DUSE_PYTHON3=ON -DUSE_ABC=OFF
-DUSE_CADICAL=OFF -DUSE_CLN=ON -DUSE_CRYPTOMINISAT=OFF -DUSE_KISSAT=OFF
-DUSE_GLPK=OFF -DCMAKE_BUILD_TYPE=Production .. returned exit code 1
make[1]: *** [debian/rules:21: override_dh_auto_configure] Error 2
make[1]: Leaving directory '/build/reproducible-path/cvc4-1.8'
make: *** [debian/rules:18: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2025-08-29T16:19:22Z
-------------------------------------------------------------------------------
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/2390859/
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/152651/
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: cvc4
Source-Version: 1.8-5
Done: Santiago Vila <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cvc4, 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.
Santiago Vila <[email protected]> (supplier of updated cvc4 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: Mon, 27 Oct 2025 10:10:00 +0100
Source: cvc4
Architecture: source
Version: 1.8-5
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Santiago Vila <[email protected]>
Closes: 1112823
Changes:
cvc4 (1.8-5) unstable; urgency=medium
.
* Team upload.
.
[ Adrian Bunk ]
* Fix FTBFS with CMake 4. Closes: #1112823.
.
[ Santiago Vila ]
* Drop "Priority: optional" (default).
* Update standards-version.
* Add debian/salsa.yml.
Checksums-Sha1:
637cd5e4a1fcc4864b992e79ea704ee2b60d166f 1861 cvc4_1.8-5.dsc
d9bc1f89b54867fd89409a5cfee213656a35c24e 17608 cvc4_1.8-5.debian.tar.xz
abe5cc1f31493fcd09db5ecfa277f3b07c71368b 6711 cvc4_1.8-5_source.buildinfo
Checksums-Sha256:
a8980b8cad21ebb5eb5e2047953b021cf6da9b639792e42df09a5cdb1c02ac93 1861
cvc4_1.8-5.dsc
8e4d82bf9c25abac5943e7f80859159d39ad43128c4314b80357a01e466a0efc 17608
cvc4_1.8-5.debian.tar.xz
9cfeb5fe575afda507d860a956dcc305048436ac15cbc91f700df7af5b8dd3c8 6711
cvc4_1.8-5_source.buildinfo
Files:
e3e1702a222dccc159031ad05f940278 1861 math optional cvc4_1.8-5.dsc
2f0452d02385454b1646beee02256bd5 17608 math optional cvc4_1.8-5.debian.tar.xz
f25e5b8bee28d88b033e3d9a9f25d2e2 6711 math optional cvc4_1.8-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEE1Uw7+v+wQt44LaXXQc5/C58bizIFAmj/OBgACgkQQc5/C58b
izIhpAgAg3ZjZLwYuRMI0xR5BRplQlThjosX/M2fOi8p9RDsvM2b1nWzNtdODS/i
1eEFJhQes1CDeV9F7+FyLKzOnRB+Z8xYcjmsuVZlozwAUtS/A4dumguYywOfm11C
rG5TVkCZazWVwmQZPuNVQOHqiA4/wojvlzG6Evy/nlMzZCvgqHJjo04BrHTfOsY0
DVR5inK5zNEvvhv8exisdql1aDfu6+SEZzEkhUBAMeiPE1vW7UmlGrc/CyuaA2Y7
alB335NlAUjmHsZsrcvYHo7vg1RaA0yv0S9UvDBP7xr7+W6kIJcnSgB8BKG8KHRj
RTN2R/iLjxUs8c6xFu6FjufvzNLggg==
=rjsN
-----END PGP SIGNATURE-----
pgpEGeLf0d7pw.pgp
Description: PGP signature
--- End Message ---
