diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2017-02-09 15:40:02 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-03-08 12:32:49 +0100 |
| commit | beaa026aa78a264e86668c0faa9af1f1f9b26b6b (patch) | |
| tree | c3dbec4d842baecb039cbcc1efdc548c0b508635 | |
| parent | 745c687be3fa6eeee97bd70141104156d8d8b811 (diff) | |
gnu: r: Fix more reproducibility problems.
* gnu/packages/statistics.scm (r)[arguments]: Patch locations in the
build system that need special treatment for reproducibility.
| -rw-r--r-- | gnu/packages/statistics.scm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/packages/statistics.scm b/gnu/packages/statistics.scm index db719f64dd..65e5c2e93b 100644 --- a/gnu/packages/statistics.scm +++ b/gnu/packages/statistics.scm @@ -134,6 +134,16 @@ be output in text, PostScript, PDF or HTML.") (("INSTALL_OPTS =(.*)" line rest ) (string-append "INSTALL_OPTS = --built-timestamp=1970-01-01" rest))) + ;; Ensure that gzipped files are reproducible + (substitute* '("src/library/grDevices/Makefile.in" + "doc/manual/Makefile.in") + (("R_GZIPCMD\\)" line) + (string-append line " -n"))) + ;; This library is installed using "install_package_description", + ;; so we need to pass the "builtStamp" argument. + (substitute* "src/library/tools/Makefile.in" + (("(install_package_description\\(.*\"')\\)\"" line prefix) + (string-append prefix ", builtStamp='1970-01-01')\""))) #t)) (add-before 'configure 'set-default-pager ;; Set default pager to "cat", because otherwise it is "false", |