[Reproducible-builds] Bug#831031: boolector: please make the build reproducible

[Chris Lamb]

Source: boolector
Version: 1.5.118.6b56be4.121013-1
Severity: wishlist
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-builds at lists.alioth.debian.org

Hi,

Whilst working on the "reproducible builds" effort [0], we
noticed that boolector could not be built reproducibly.

Patch attached. It is suitable for upstreaming.

 [0] https://wiki.debian.org/ReproducibleBuilds


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-
-------------- next part --------------
--- a/debian/patches/reproducible_builds.patch	1970-01-01 02:00:00.000000000 +0200
--- b/debian/patches/reproducible_builds.patch	2016-07-13 21:24:25.276283249 +0200
@@ -0,0 +1,26 @@
+--- boolector-1.5.118.6b56be4.121013.orig/mkconfig
++++ boolector-1.5.118.6b56be4.121013/mkconfig
+@@ -28,8 +28,8 @@ sed \
+   -e 's,$,",' \
+   makefile | sed -e "$patchgccversion"
+ 
+-echo "#define BTOR_OS \"`uname -srmn`\""
+-echo "#define BTOR_COMPILED \"`date`\""
++echo "#define BTOR_OS \"`uname -sm`\""
++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"
+ #define BTOR_VERSION "1.5.118"
+--- boolector-1.5.118.6b56be4.121013.orig/lingeling/mkconfig
++++ boolector-1.5.118.6b56be4.121013/lingeling/mkconfig
+@@ -13,8 +13,8 @@ cat<<EOF
+ /**********************************************************/
+ EOF
+ 
+-echo "#define LGL_OS \"`uname -srmn`\""
+-echo "#define LGL_COMPILED \"`date`\""
++echo "#define LGL_OS \"`uname -sm`\""
++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"
+ #define LGL_VERSION "ala"
--- a/debian/patches/series	2016-07-13 21:06:03.546123853 +0200
--- b/debian/patches/series	2016-07-13 21:08:59.561008778 +0200
@@ -1 +1,2 @@
 debian-changes-1.5.118.6b56be4.121013-1
+reproducible_builds.patch