Source: boolector Severity: normal Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: kernel X-Debbugs-Cc: reproducible-b...@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
From: Vagrant Cascadian <vagr...@reproducible-builds.org> Date: Sat, 12 Nov 2022 04:28:38 +0000 X-Dgit-Generated: 1.5.118.6b56be4.121013-1.3 4590e8aaecbab65038ef787b9bbeac4dffc6dc99 Subject: mkconfig: Do not embed architecture of running kernel. https://tests.reproducible-builds.org/debian/issues/unstable/captures_build_arch_issue.html --- --- boolector-1.5.118.6b56be4.121013.orig/lingeling/mkconfig +++ boolector-1.5.118.6b56be4.121013/lingeling/mkconfig @@ -13,7 +13,7 @@ cat<<EOF /**********************************************************/ EOF -echo "#define LGL_OS \"`uname -sm`\"" +echo "#define LGL_OS \"`uname -s`\"" echo "#define LGL_COMPILED \"$(date --utc --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}")\"" cat<<EOF #define LGL_RELEASED "Sat Oct 13 14:05:26 CEST 2012" --- boolector-1.5.118.6b56be4.121013.orig/mkconfig +++ boolector-1.5.118.6b56be4.121013/mkconfig @@ -28,7 +28,7 @@ sed \ -e 's,$,",' \ makefile | sed -e "$patchgccversion" -echo "#define BTOR_OS \"`uname -sm`\"" +echo "#define BTOR_OS \"`uname -s`\"" echo "#define BTOR_COMPILED \"$(date --utc --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}")\"" cat<<EOF #define BTOR_RELEASED "Sat Oct 13 13:59:09 CEST 2012"
signature.asc
Description: PGP signature
