Bug#1023886: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

[Vagrant Cascadian]

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>