[Reproducible-builds] Bug#831664: why3: please make the build reproducible

[Chris Lamb]

Source: why3
Version: 0.87.1-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 why3 could not be built reproducibly.

Patch attached.

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


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-
-------------- next part --------------
--- a/debian/patches/reproducible-build	1970-01-01 02:00:00.000000000 +0200
--- b/debian/patches/reproducible-build	2016-07-18 11:44:43.074796861 +0200
@@ -0,0 +1,19 @@
+Description: Make the build reproducible
+Author: Chris Lamb <lamby at debian.org>
+Last-Update: 2016-07-18
+
+--- why3-0.87.1.orig/configure.in
++++ why3-0.87.1/configure.in
+@@ -711,7 +711,11 @@ dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acrore
+ 
+ VERSION=$PACKAGE_VERSION
+ 
+-BUILDDATE="$(date)"
++if test -n "$SOURCE_DATE_EPOCH"; then
++	BUILDDATE="$(LC_ALL=C date --utc --date="@${SOURCE_DATE_EPOCH}")"
++else
++	BUILDDATE="$(date)"
++fi
+ 
+ # substitutions to perform
+ AC_SUBST(VERSION)
--- a/debian/patches/series	2016-07-18 11:29:52.672691023 +0200
--- b/debian/patches/series	2016-07-18 11:44:41.410770817 +0200
@@ -1,2 +1,3 @@
 typos
 drop-timestamp
+reproducible-build