summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorTZ <tz-rrze@users.noreply.github.com>2021-11-09 11:55:56 +0100
committerGitHub <noreply@github.com>2021-11-09 11:55:56 +0100
commit808375429d2222612b3432eebc1e986dcccd8d2d (patch)
tree8fc7354c62676c5587a283ea34704bc7cfb2235a /.github
parent2b990b400e5670489c4a1f598591b46d55ab1aac (diff)
downloadspack-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 '.github')
0 files changed, 0 insertions, 0 deletions