Source: minisat+ Version: 1.0-4 Tags: patch User: debian-cr...@lists.debian.org Usertags: ftcbfs
minisat+ fails to cross build from source, because the clean target fails when the compiler cannot find gmp. And since it uses the build architecture compiler with the host architecture gmp, that's what happens. I'm attaching a patch that passes a host compiler for your convenience. Helmut
diff --minimal -Nru minisat+-1.0/debian/changelog minisat+-1.0/debian/changelog --- minisat+-1.0/debian/changelog 2017-02-19 17:03:19.000000000 +0100 +++ minisat+-1.0/debian/changelog 2023-04-04 15:46:00.000000000 +0200 @@ -1,3 +1,10 @@ +minisat+ (1.0-4.1) UNRELEASED; urgency=medium + + * Non-maintainer upload. + * Fix FTCBFS: Pass a cross CXX to clean. (Closes: #-1) + + -- Helmut Grohne <hel...@subdivi.de> Tue, 04 Apr 2023 15:46:00 +0200 + minisat+ (1.0-4) unstable; urgency=medium * debian/tests/control: add Depends: @ for test "upstream". diff --minimal -Nru minisat+-1.0/debian/rules minisat+-1.0/debian/rules --- minisat+-1.0/debian/rules 2017-02-19 17:03:19.000000000 +0100 +++ minisat+-1.0/debian/rules 2023-04-04 15:45:59.000000000 +0200 @@ -1,5 +1,7 @@ #!/usr/bin/make -f +include /usr/share/dpkg/buildtools.mk + %: dh $@ @@ -7,4 +9,4 @@ make rs override_dh_auto_clean: - make clean + make clean CXX=$(CXX)