Debian Bug report logs - #1023886
boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Vagrant Cascadian <vagrant@reproducible-builds.org>

To: submit@bugs.debian.org

Subject: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

Date: Fri, 11 Nov 2022 20:48:49 -0800

[Message part 1 (text/plain, inline)]

Source: boolector
Severity: normal
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: kernel
X-Debbugs-Cc: reproducible-bugs@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

[mkconfig-do-not-embed-architecture-of-ru.patch (text/x-diff, inline)]

From: Vagrant Cascadian <vagrant@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 (application/pgp-signature, inline)]

Message #10 received at 1023886@bugs.debian.org (full text, mbox, reply):

From: Vagrant Cascadian <vagrant@reproducible-builds.org>

To: 1023886@bugs.debian.org

Subject: Re: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

Date: Fri, 11 Nov 2022 21:09:25 -0800

[Message part 1 (text/plain, inline)]

I have uploaded an NMU fixing this issue:

diff -Nru boolector-1.5.118.6b56be4.121013/debian/changelog boolector-1.5.118.6b56be4.121013/debian/changelog
--- boolector-1.5.118.6b56be4.121013/debian/changelog	2022-11-10 13:35:53.000000000 -0800
+++ boolector-1.5.118.6b56be4.121013/debian/changelog	2022-11-11 20:56:12.000000000 -0800
@@ -1,3 +1,11 @@
+boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * mkconfig: Do not embed architecture of running kernel.
+    (Closes: #1023886)
+
+ -- Vagrant Cascadian <vagrant@debian.org>  Fri, 11 Nov 2022 20:56:12 -0800
+
 boolector (1.5.118.6b56be4.121013-1.2) unstable; urgency=medium
 
   * Non-maintainer upload.
diff -Nru boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch
--- boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch	1969-12-31 16:00:00.000000000 -0800
+++ boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch	2022-11-11 20:56:12.000000000 -0800
@@ -0,0 +1,37 @@
+From: Vagrant Cascadian <vagrant@reproducible-builds.org>
+Date: Sat, 12 Nov 2022 04:28:38 +0000
+X-Dgit-Generated: 1.5.118.6b56be4.121013-1.3 f1be0e4d3e0bc3d6c0f7f2b741860bd16a67ab4c
+Subject: mkconfig: Do not embed architecture of running kernel.
+
+(Closes: #1023886)
+
+https://tests.reproducible-builds.org/debian/issues/unstable/captures_build_arch_issue.html
+
+---
+
+diff --git a/lingeling/mkconfig b/lingeling/mkconfig
+index 5f99590..61e0618 100755
+--- a/lingeling/mkconfig
++++ b/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"
+diff --git a/mkconfig b/mkconfig
+index 56871ec..68c8c60 100755
+--- a/mkconfig
++++ b/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"
diff -Nru boolector-1.5.118.6b56be4.121013/debian/patches/series boolector-1.5.118.6b56be4.121013/debian/patches/series
--- boolector-1.5.118.6b56be4.121013/debian/patches/series	2022-11-10 13:35:53.000000000 -0800
+++ boolector-1.5.118.6b56be4.121013/debian/patches/series	2022-11-11 20:56:12.000000000 -0800
@@ -1,2 +1,3 @@
 debian-changes-1.5.118.6b56be4.121013-1
 do-not-embed-kernel-version-and-hostname.patch
+mkconfig-do-not-embed-architecture-of-ru.patch

[signature.asc (application/pgp-signature, inline)]

Message #15 received at 1023886-close@bugs.debian.org (full text, mbox, reply):

From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>

To: 1023886-close@bugs.debian.org

Subject: Bug#1023886: fixed in boolector 1.5.118.6b56be4.121013-1.3

Date: Sat, 12 Nov 2022 05:18:57 +0000

Source: boolector
Source-Version: 1.5.118.6b56be4.121013-1.3
Done: Vagrant Cascadian <vagrant@debian.org>

We believe that the bug you reported is fixed in the latest version of
boolector, 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 1023886@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Vagrant Cascadian <vagrant@debian.org> (supplier of updated boolector 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Architecture: source
Version: 1.5.118.6b56be4.121013-1.3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Vagrant Cascadian <vagrant@debian.org>
Closes: 1023886
Changes:
 boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * mkconfig: Do not embed architecture of running kernel.
     (Closes: #1023886)
Checksums-Sha1:
 93c69a54983bcafddb82baea317cc60616a7def8 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
 86d0365b3cb14570895741219c1f2cd2c441f19a 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Checksums-Sha256:
 2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
 bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Files:
 e0f67050bc7fab1ce9ad6f0faedb2ccb 1722 science extra boolector_1.5.118.6b56be4.121013-1.3.dsc
 dfdbbab5e2d65e732397b76b58534f81 5504 science extra boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iIkEARYKADEWIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCY28pbRMcdmFncmFudEBk
ZWJpYW4ub3JnAAoJENxRj8h/lxaq2zAA/AlC0SbsFVcrHkxZOKTdFM1b6zcPUeXR
mx8EUwLYrVY9AP9fVSTjd7tVXTKBuAj4WNOjqoLCPQeQ/oyMr8yWsJ4VBQ==
=j8pT
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.