Source: minisat2 Version: 1:2.2.1-6 Tags: patch User: debian-cr...@lists.debian.org Usertags: ftcbfs
minisat2 fails to cross build from source, because it performs some build steps using the build architecture compiler while passing host architecture compiler flags. This happens during dh_auto_install where nothing should be built anymore. The cause is that the install target transitively depends on an artifact that is not part of all. Once we enable that artifact ("sh") in dh_auto_build, minisat2 cross builds successfully. I'm attaching a patch to debian/rules. Consider to patch the Makefile instead and add sh as a prerequisite for all, because the default install target requires it. Helmut
diff --minimal -Nru minisat2-2.2.1/debian/changelog minisat2-2.2.1/debian/changelog --- minisat2-2.2.1/debian/changelog 2024-02-20 12:23:45.000000000 +0100 +++ minisat2-2.2.1/debian/changelog 2024-02-20 21:21:06.000000000 +0100 @@ -1,3 +1,10 @@ +minisat2 (1:2.2.1-6.1) UNRELEASED; urgency=medium + + * Non-maintainer upload. + * Fix FTCBFS: Build all required parts via dh_auto_build. (Closes: #-1) + + -- Helmut Grohne <hel...@subdivi.de> Tue, 20 Feb 2024 21:21:06 +0100 + minisat2 (1:2.2.1-6) unstable; urgency=low * Bumped standards version to 4.6.2 (no changes) diff --minimal -Nru minisat2-2.2.1/debian/rules minisat2-2.2.1/debian/rules --- minisat2-2.2.1/debian/rules 2024-02-20 12:23:45.000000000 +0100 +++ minisat2-2.2.1/debian/rules 2024-02-20 21:21:06.000000000 +0100 @@ -20,6 +20,9 @@ %: dh $@ +override_dh_auto_build: + dh_auto_build -- all sh + override_dh_auto_configure: dh_testdir $(MAKE) config prefix=/usr