diff options
author | TZ <tz-rrze@users.noreply.github.com> | 2021-11-09 11:55:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-09 11:55:56 +0100 |
commit | 808375429d2222612b3432eebc1e986dcccd8d2d (patch) | |
tree | 8fc7354c62676c5587a283ea34704bc7cfb2235a /.gitattributes | |
parent | 2b990b400e5670489c4a1f598591b46d55ab1aac (diff) | |
download | spack-808375429d2222612b3432eebc1e986dcccd8d2d.tar.gz spack-808375429d2222612b3432eebc1e986dcccd8d2d.tar.bz2 spack-808375429d2222612b3432eebc1e986dcccd8d2d.tar.xz spack-808375429d2222612b3432eebc1e986dcccd8d2d.zip |
openmpi: does not support "--without-pmix" (#27258)
Open MPI currently fails to build with scheduler=slurm if +pmix is
not given with a fatal error due to ``config_args +=
self.with_or_without('pmix', ...)`` resulting in --without-pmix.
However, Open MPI's configure points out "Note that Open MPI does
not support --without-pmix."
The PR only adds "--with-pmix=PATH" if +pmix is part of the spec.
Otherwise, nothing is added and Open MPI can fall back to its
internal PMIX sources.
(The other alternative would be to depend on +pmix in for
scheduler=slurm as is done for +pmi.)
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions