diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-12-14 04:41:32 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-12-14 04:41:32 +0000 |
| commit | 7b0dbf98fe0a6f223f0955463b340e3d88559da7 (patch) | |
| tree | ea839ef7ec9e323f75b574a553c4c90bed4bdd88 /reproduce/software/bash/git-pre-commit | |
| parent | ac80e3bc163a177c5b33ad2a1b8ab9f6f09becd8 (diff) | |
R explicitly built without support for OpenMP
OpenMP takes a LONG TIME to build, so to keep things reproducible we are
explicitly disabling OpenMP, if a user needs OpenMP, its trivial to just
add it as a prerequisite of R. The problem is that in some scenarios (based
on other dependencies and when they were built in the build directory),
OpenMP may be present when R is being installed and in other it may not. We
don't want the result to be different between the two builds.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions