Source: coq
Version: 8.4pl4dfsg-1
Severity: wishlist
Tags: patch
User: [email protected]
Usertags: timestamps
X-Debbugs-Cc: [email protected]
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
