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
