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)
