diff options
author | Eric Bavier <bavier@member.fsf.org> | 2019-02-20 16:05:03 -0600 |
---|---|---|
committer | Eric Bavier <bavier@member.fsf.org> | 2019-02-20 22:18:45 -0600 |
commit | 5cfed7efc8a11645bf465e68eb1d42e255d760fa (patch) | |
tree | fa36b3902b5320d44b7c28fe3a55aa67384c60ae /bootstrap | |
parent | de6ad8c29a9cbca3d2c97def4673faab5b968546 (diff) | |
download | patches-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