Source: why3 Version: 0.87.1-1 Severity: wishlist Tags: patch User: [email protected] Usertags: timestamps X-Debbugs-Cc: [email protected]
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 `. `'` [email protected] / 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 <[email protected]> +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
