Source: coq Version: 8.4pl4dfsg-1 Severity: wishlist Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps X-Debbugs-Cc: reproducible-bui...@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