Source: picosat Version: 965-1 Tags: patch User: debian-cr...@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
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 <hel...@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 %:
