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 | |
| 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.)
| -rw-r--r-- | var/spack/repos/builtin/packages/openmpi/package.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/openmpi/package.py b/var/spack/repos/builtin/packages/openmpi/package.py index 6d3e12d6e5..ff5c792e48 100644 --- a/var/spack/repos/builtin/packages/openmpi/package.py +++ b/var/spack/repos/builtin/packages/openmpi/package.py @@ -652,7 +652,8 @@ class Openmpi(AutotoolsPackage): spec['slurm'].prefix)) else: config_args.extend(self.with_or_without('pmi')) - config_args += self.with_or_without('pmix', activation_value='prefix') + if spec.satisfies('+pmix'): + config_args.append('--with-pmix={0}'.format(spec['pmix'].prefix)) if spec.satisfies('@3.1.3:') or spec.satisfies('@3.0.3'): if '+static' in spec: config_args.append('--enable-static') |