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
     `. `'`      la...@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 <la...@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
_______________________________________________
Reproducible-builds mailing list
Reproducible-builds@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/reproducible-builds

Reply via email to