Bug#1033990: minisat+ FTCBFS: fails clean target

[Helmut Grohne]

Source: minisat+
Version: 1.0-4
Tags: patch
User: debian-cross at 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
-------------- next part --------------
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 <helmut at 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)