Bug#1023886: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector
Vagrant Cascadian
vagrant at reproducible-builds.org
Sat Nov 12 04:48:49 GMT 2022
Source: boolector
Severity: normal
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: kernel
X-Debbugs-Cc: reproducible-bugs at lists.alioth.debian.org
The kernel architecture is embedded in /usr/bin/boolector:
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/armhf/diffoscope-results/boolector.html
Linux·armv7l
vs.
Linux·aarch64
The attached patch to fixes this by removing the "-m" argument from a call
to "uname".
According to my local tests, with this patch applied, boolector should build
reproducibly on tests.reproducible-builds.org!
Thanks for maintaining boolector!
As this is on the lowNMU list, and I recently uploaded to fix related
reproducible builds issues, I'll proceed to upload another NMU shortly
to fix reproducible builds on all architectures...
live well,
vagrant
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mkconfig-do-not-embed-architecture-of-ru.patch
Type: text/x-diff
Size: 1206 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/reproducible-bugs/attachments/20221111/27c58294/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 227 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/reproducible-bugs/attachments/20221111/27c58294/attachment.sig>
More information about the Reproducible-bugs
mailing list