Bug#1112298: kissat FTCBFS: uses the build architecture compiler

[Helmut Grohne]

Source: kissat
Version: 4.0.3-1
Tags: patch
User: debian-cross at lists.debian.org
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
-------------- next part --------------
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 <helmut at subdivi.de>  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