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
