summaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorEric Bavier <bavier@member.fsf.org>2019-02-20 16:05:03 -0600
committerEric Bavier <bavier@member.fsf.org>2019-02-20 22:18:45 -0600
commit5cfed7efc8a11645bf465e68eb1d42e255d760fa (patch)
treefa36b3902b5320d44b7c28fe3a55aa67384c60ae /bootstrap
parentde6ad8c29a9cbca3d2c97def4673faab5b968546 (diff)
downloadpatches-5cfed7efc8a11645bf465e68eb1d42e255d760fa.tar
patches-5cfed7efc8a11645bf465e68eb1d42e255d760fa.tar.gz
gnu: openmpi: Let configure enable PSM based on inputs.
This fixes OpenMPI builds on systems not supported by the PSM packages. * gnu/packages/mpi.scm (openmpi)[arguments]: Remove '--enable-psm' and '--enable-psm2' from #:configure-flags.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions