Your message dated Wed, 10 Sep 2025 15:59:58 +0000
with message-id <[email protected]>
and subject line Bug#1112298: fixed in kissat 4.0.3-2
has caused the Debian Bug report #1112298,
regarding kissat FTCBFS: uses the build architecture compiler
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.)
--
1112298: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1112298
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: kissat
Version: 4.0.3-1
Tags: patch
User: [email protected]
Usertags: ftcbfs
kissat fails to cross build from source, because it uses the build
architecture compiler. It's configure script is handwritten and
therefore does not understand the options passed by dh_auto_configure
and is therefore run manually. In this invocation, CC should be assigned
to support cross compilation as well as builds with clang. I'm attaching
a patch for your convenience.
Helmut
diff -Nru kissat-4.0.3/debian/changelog kissat-4.0.3/debian/changelog
--- kissat-4.0.3/debian/changelog 2025-08-18 16:38:18.000000000 +0200
+++ kissat-4.0.3/debian/changelog 2025-08-19 19:11:13.000000000 +0200
@@ -1,3 +1,10 @@
+kissat (4.0.3-1.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ *
+
+ -- Helmut Grohne <[email protected]> Tue, 19 Aug 2025 19:11:13 +0200
+
kissat (4.0.3-1) unstable; urgency=medium
* New upstream version 4.0.3.
diff -Nru kissat-4.0.3/debian/rules kissat-4.0.3/debian/rules
--- kissat-4.0.3/debian/rules 2024-10-14 14:55:57.000000000 +0200
+++ kissat-4.0.3/debian/rules 2025-08-19 19:11:12.000000000 +0200
@@ -6,13 +6,14 @@
include /usr/share/dpkg/architecture.mk
include /usr/share/dpkg/buildflags.mk
+include /usr/share/dpkg/buildtools.mk
include /usr/share/dpkg/pkg-info.mk
%:
dh $@
override_dh_auto_configure:
- ./configure -g
+ ./configure -g 'CC=$(CC)'
execute_after_dh_auto_build:
help2man --version-string=$(DEB_VERSION_UPSTREAM) --name="Kissat
Satisfiability Solver" -N -o kissat.1 build/kissat
--- End Message ---
--- Begin Message ---
Source: kissat
Source-Version: 4.0.3-2
Done: Shengqi Chen <[email protected]>
We believe that the bug you reported is fixed in the latest version of
kissat, 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.
Shengqi Chen <[email protected]> (supplier of updated kissat 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: Wed, 10 Sep 2025 22:31:27 +0800
Source: kissat
Architecture: source
Version: 4.0.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Shengqi Chen <[email protected]>
Closes: 1099368 1112298
Changes:
kissat (4.0.3-2) unstable; urgency=medium
.
* d/control: replace p7zip with 7zip (closes: #1099368).
* d/rules: pass CC to configure script to fix FTCBFS (closes: #1112298).
Checksums-Sha1:
5216a8e52abdec978c4c34cf1a0f209dca696e71 1982 kissat_4.0.3-2.dsc
592bd136707b792ad78c98fb72824b2905e4d174 4656 kissat_4.0.3-2.debian.tar.xz
b6bc2ba70a79705a28a4b52adbe8dbe1e0c39aa2 6122 kissat_4.0.3-2_amd64.buildinfo
Checksums-Sha256:
877e343336f15c2a79c67323183fffb2c414a1fff3331d23e2befaeb95f2752f 1982
kissat_4.0.3-2.dsc
19f1cb824c399cd3b7b7c4ed60b324d76aae2c132ebd1d097577ebf9c23e966d 4656
kissat_4.0.3-2.debian.tar.xz
ea5f0bf9392cb3f7366df2a78f69bfecedc892655ab2e45ee5c03656c07366d7 6122
kissat_4.0.3-2_amd64.buildinfo
Files:
9bcf4f2254ef6a78eec0094f01602124 1982 science optional kissat_4.0.3-2.dsc
c953232485b0dea3186ae986bab96fd0 4656 science optional
kissat_4.0.3-2.debian.tar.xz
9a4bfb3cc794dc530400c7896c11fca6 6122 science optional
kissat_4.0.3-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmjBjuMACgkQzhGnsHs6
uUZ4AA/9FRfnyfOnkewJt4BVhz0JnNvLKMpKVhlA9BWggo++Wkkoi8JWnR5DNc6I
1LnrZzB+W0QbPDNcKkABpphiHNvzshPaUPaFjmfgHvTayWRnpj3GuXysPQYFAxhB
v/IFG0U5QejK59r92HXzxAPgU22nWxPoM4ScFqM0pWIgpMrJHNBJV15vdIQT0Bfc
wgMYoFOF0MxIif82yml014bPO/9E2aMtmPXEDSqIrgjlA9MVmjvCeVR8PVzfXpfY
ENvdOe6ISrkKunyoWIIVbm4qap4IKIMbE1HJ85ihm11exfmortsTU2BKldNqSDaU
5U/LpfqgymrufPdwRbADUYnVMSUzX7jT0f5WHS1UQMuB7ZNyX2EPJeyjYIdy5olq
M4k0bf9KkjM+BE1nrq5Dpghg3tkQ6AMtSrxqHd700Ru6dMDOcBqNLbpQE37JzGUr
l6UxiWnbcJsHtpZd3DKpugWGnVVwsqcwmW6soZzLzIFqdrUlk0xEdygJW9qAlsMT
klUIxnceUU9hBEvmZxzYbFrma7T39baGEXtTLtvF0v7UbmhChFYi7HCHIFXxOZoq
CHVRqSWzzWKyxdQGacjvdlMgU5z+Xoq111VSQeqNSKSy7jTlHUH6VTdwskL67AFg
Ca7CDsVxmzFT5uV/ayUlYDTE/pDRvwClsg4TBKp3OhDxYBxIdU4=
=vEYc
-----END PGP SIGNATURE-----
pgp1UVvrvnB_T.pgp
Description: PGP signature
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
