summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2019-02-07 15:24:01 +0100
committerLudovic Courtès <ludo@gnu.org>2019-02-07 15:46:45 +0100
commitb07712bfb13039b3ead57e9f3ca91d4e3ebadd2a (patch)
tree583162412e3ee331ae20eccb102a2b398122eb46 /doc
parent487cbb0164c715e722b622fa800fa0b217fa132c (diff)
downloadpatches-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