diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-20 22:35:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-20 22:35:12 +0100 |
| commit | 2d6f68aa3b0404c3c37568a8a7bfee692cb80337 (patch) | |
| tree | 250e6a5c2a33d1849f091a36fefc89a114b772a0 /gnu/packages/patches/gcc-boot-4.7.4.patch | |
| parent | f94f9d67e65975724ee5b5cbc936c0895a258685 (diff) | |
gnu: intel-mpi-benchmarks: Merge with "imb-openmpi".
* gnu/packages/mpi.scm (intel-mpi-benchmarks): Remove.
* gnu/packages/benchmark.scm (imb): Rename to...
(intel-mpi-benchmarks): ... this. Change 'name'. Update to 2019.3.
[arguments]: Remove 'build phase. Rewrite 'install phase. Pass
#:parallel-build? and #:make-flags.
(intel-mpi-benchmarks/openmpi): New variable.
(imb-openmpi): Rewrite in terms of 'deprecated-package'.
Diffstat (limited to 'gnu/packages/patches/gcc-boot-4.7.4.patch')
0 files changed, 0 insertions, 0 deletions