Bug#831664: why3: please make the build reproducible
Source: why3
Version: 0.87.1-1
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-builds@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@debian.org / chris-lamb.co.uk
`-
--- 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@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
Reply to: