Bug#978542: picosat FTCBFS: builds for the build architecture

[Helmut Grohne]

Source: picosat
Version: 965-1
Tags: patch
User: debian-cross at lists.debian.org
Usertags: ftcbfs

picosat fails to cross build from source, because it does not use any
cross tools. Its handcrafted configure.sh expects cross tools to be
passed via environment variables. The simples way of doing so - using
dpkg's buildtools.mk - makes picosat cross buildable. Please consider
applying the attached patch.

Helmut
-------------- next part --------------
diff --minimal -Nru picosat-965/debian/changelog picosat-965/debian/changelog
--- picosat-965/debian/changelog	2019-08-20 10:44:08.000000000 +0200
+++ picosat-965/debian/changelog	2020-12-28 12:41:08.000000000 +0100
@@ -1,3 +1,11 @@
+picosat (965-1.1) UNRELEASED; urgency=medium
+
+  * Non-maintainer upload.
+  * Fix FTCBFS: Let dpkg's buildtools.mk supply cross tools via environment.
+    (Closes: #-1)
+
+ -- Helmut Grohne <helmut at subdivi.de>  Mon, 28 Dec 2020 12:41:08 +0100
+
 picosat (965-1) unstable; urgency=medium
 
   * Team upload.
diff --minimal -Nru picosat-965/debian/rules picosat-965/debian/rules
--- picosat-965/debian/rules	2019-08-20 10:44:08.000000000 +0200
+++ picosat-965/debian/rules	2020-12-28 12:41:07.000000000 +0100
@@ -3,6 +3,8 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
+DPKG_EXPORT_BUILDTOOLS=1
+-include /usr/share/dpkg/buildtools.mk
 export DEB_BUILD_MAINT_OPTIONS=hardening=+all
 
 %: