diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2019-02-07 15:24:01 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-02-07 15:46:45 +0100 |
commit | b07712bfb13039b3ead57e9f3ca91d4e3ebadd2a (patch) | |
tree | 583162412e3ee331ae20eccb102a2b398122eb46 /doc | |
parent | 487cbb0164c715e722b622fa800fa0b217fa132c (diff) | |
download | patches-b07712bfb13039b3ead57e9f3ca91d4e3ebadd2a.tar patches-b07712bfb13039b3ead57e9f3ca91d4e3ebadd2a.tar.gz |
gnu: openmpi: Add dependency on SLURM.
This allows users to run Open MPI programs with 'srun'.
* gnu/packages/mpi.scm (openmpi)[inputs]: Add SLURM.
[arguments]: Add "--with-pmi" to #:configure-flags.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions