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 /graph.js | |
| 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 'graph.js')
0 files changed, 0 insertions, 0 deletions