Your message dated Sun, 21 Feb 2021 07:04:13 +0000
with message-id <[email protected]>
and subject line Bug#978542: fixed in picosat 965-2
has caused the Debian Bug report #978542,
regarding picosat FTCBFS: builds for the build architecture
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
978542: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=978542
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: picosat
Version: 965-1
Tags: patch
User: [email protected]
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 <[email protected]> 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
%:
--- End Message ---
--- Begin Message ---
Source: picosat
Source-Version: 965-2
Done: Nilesh Patra <[email protected]>
We believe that the bug you reported is fixed in the latest version of
picosat, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Nilesh Patra <[email protected]> (supplier of updated picosat package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 21 Feb 2021 12:17:23 +0530
Source: picosat
Architecture: source
Version: 965-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
<[email protected]>
Changed-By: Nilesh Patra <[email protected]>
Closes: 978542
Changes:
picosat (965-2) unstable; urgency=medium
.
* Use dpkg buildtools.mk supply cross tools via environment
- Thank you, Helmut Grohne! (Closes: #978542)
* Add myself to uploaders
* Add "Rules-Requires-Root: no"
* Propagate hardening options properly
Checksums-Sha1:
4c17fad0ec8c2dccc6d07b07fa43bd0c0815881a 1959 picosat_965-2.dsc
7ea597d88db9581b98561b33b6e0205edc5e4ea5 6328 picosat_965-2.debian.tar.xz
a1524a591397cdc6a6e2988bcb2127e2b05754e4 5685 picosat_965-2_amd64.buildinfo
Checksums-Sha256:
168fbe18ee5a122b24c46940e5582c12c28e3125e5e9c795b462495c34d6eafc 1959
picosat_965-2.dsc
ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a 6328
picosat_965-2.debian.tar.xz
4ec9ea22b3fb60dfb4751144e7294bc0d0dc6b7faa4cad743ad32dbab672900b 5685
picosat_965-2_amd64.buildinfo
Files:
eaabbfd06273f9bdf634bc8ab5c4e47e 1959 science optional picosat_965-2.dsc
32b6d30566f2e455794f6355b0e8540a 6328 science optional
picosat_965-2.debian.tar.xz
dcc760fd4fa2f4a89b5fa020d7aa9c3b 5685 science optional
picosat_965-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmAyAuUUHG5wYXRyYTk3
NEBnbWFpbC5jb20ACgkQALrnSzQzafEy6A//YXkO/fa6Ycvnf0ivNJKUf1YHB8qT
pyp3gQdCIXV+ehEa7KCpfWIUhVFOeVP1Vc+xQ6K8uEQrWEBUlwzT/xDgSMb+ifl6
tIBUhVdMiFjmmVsDfqF7p6kfigMnnDa5SM18KEa/OHbSwjwVOFoFLSSY5I7YZGKi
jCvBbJCuzjJZvhw9N7DRHGfBCinCm1ardrhA7n7/Jht2N82o4T7rB0Ju6pHDlzKv
IkkSqe/KKzUuQCz/P+pr7n0A4p9a0EE7/g4jitRKQBFpY5Iiur1wUyGsswvqQTLu
aYzco7z0CoRhUFt+Z+BtsbdleG1H3dDmLfwS7xh1gzc8ar5vI9OmT8xaz/PJVtln
FA8fznlEHqyHhRDgTGS9faUVA5vj6oQl2364TD+ttbqtwZ4sBYtBxvTR4gpuAGw+
doVs+fay3NcV02C9GHLif28GO2TQ2y6DSl5JwtH0hWOD7yzrxQa4WMqMvxMcGOLn
6NbZBc72POsBUNNtgp0jRs7mkN1tq7CvU6jeMeJqBvg6p9OfYACAYwHlYjVEdXYI
ohKy7ZxI1oLmdElMZh/LjkxWuIdpjh1/6M4F/GHgG5M0fdwwIwh7cohsinq313ke
upMRojxpkczib8L8X3D+xKq1vLpPwI1nzeMVaaCkNWaBeCS7+xTXzdTTD/1wOr2c
yG3AvSgvyuxoE5c=
=hNOE
-----END PGP SIGNATURE-----
--- End Message ---
