automake-1.15: deterministic documentation generation

automake 1.15 uses a bundled version of help2man from 2012 that
does not support the SOURCE_DATE_EPOCH environment variable.

This means that the build date is included in the generated
documentation, breaking reproducibility.

This changes adds the SOURCE_DATE_EPOCH support from the current
help2man to the version bundled in automake 1.15.
This commit is contained in:
David Terry
2019-11-03 10:55:45 +01:00
committed by Frederik Rietdijk
parent 3cf749b58f
commit cd87f1ba23
2 changed files with 43 additions and 0 deletions
@@ -13,6 +13,8 @@ stdenv.mkDerivation rec {
setupHook = ./setup-hook.sh;
patches = [ ./help2man-SOURCE_DATE_EPOCH-support.patch ];
# Disable indented log output from Make, otherwise "make.test" will
# fail.
preCheck = "unset NIX_INDENT_MAKE";