mpich: fixup removal of pmi=off option (#43377)

This commit is contained in:
Ken Raffenetti 2024-03-28 02:08:37 -05:00 committed by GitHub
parent 89ac747a76
commit be231face6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -388,7 +388,7 @@ def is_disabled(text):
if re.search(r"--with-thread-package=argobots", output):
variants.append("+argobots")
elif re.search(r"--with-pmi=simple", output):
if re.search(r"--with-pmi=simple", output):
variants.append("pmi=pmi")
elif re.search(r"--with-pmi=pmi2/simple", output):
variants.append("pmi=pmi2")
@ -554,9 +554,7 @@ def configure_args(self):
else:
config_args.append("--with-slurm=no")
if "pmi=off" in spec:
config_args.append("--with-pmi=no")
elif "pmi=pmi" in spec:
if "pmi=pmi" in spec:
config_args.append("--with-pmi=simple")
elif "pmi=pmi2" in spec:
config_args.append("--with-pmi=pmi2/simple")