Bug#794130: coq: please make the build reproducible (timestamps)

[Valentin Lorentz <progval@progval.net>]

Source: coq
Version: 8.4pl4dfsg-1
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org

Hi!

While working on the “reproducible builds” effort [1], we have noticed
that foo could not be built reproducibly.

The attached patch removes extra timestamps from the build system. Once
applied, and after ocamlc is patched to remove nondeterminism, coq will
be buildable reproducibly in our experimental framework.

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

Regards,
Valentin

--- coq-8.4pl4dfsg/configure	2015-07-30 17:44:11.635304955 +0000
+++ coq-8.4pl4dfsg/configure	2015-07-30 19:06:43.000000000 +0000
@@ -9,7 +9,7 @@
 VERSION=8.4pl4
 VOMAGIC=08400
 STATEMAGIC=58400
-DATE=`LC_ALL=C LANG=C dpkg-parsechangelog -S date | date --file=- +"%B %Y"`
+DATE=`dpkg-parsechangelog -S date | LC_ALL=C LANG=C date -u --file=- +"%B %Y"`
 
 # Create the bin/ directory if non-existent
 test -d bin || mkdir bin
@@ -271,7 +271,7 @@
     "") echo "I can't find the program \"date\" in your path."
         echo "Please give me the current date"
 	read COMPILEDATE;;
-    *)  COMPILEDATE=`LC_ALL=C LANG=C dpkg-parsechangelog -S date | date --file=- +"%b %d %Y %H:%M:%S"`;;
+    *)  COMPILEDATE=`dpkg-parsechangelog -S date | LC_ALL=C LANG=C date -u --file=- +"%b %d %Y %H:%M:%S"`;;
 esac
 
 # Architecture