summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTodd Gamblin <tgamblin@llnl.gov>2016-06-15 09:06:12 -0700
committerGitHub <noreply@github.com>2016-06-15 09:06:12 -0700
commitc803f7ae98dd7a1762e4eda89145e6ca50091136 (patch)
treecbd4c93449213f84d981c15a509d46286ef34e3b
parent4ede87a8b00545021131aa15dd1cd8b2f4100528 (diff)
parent953b65abccf392e2a565fe9c1b3c1101f0cb5b66 (diff)
downloadspack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.gz
spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.bz2
spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.tar.xz
spack-c803f7ae98dd7a1762e4eda89145e6ca50091136.zip
Merge pull request #1045 from eschnett/eschnett/openmpi-verbs-usr
Do not pass "/usr" or "/usr/local" as path to configure
-rw-r--r--var/spack/repos/builtin/packages/openmpi/package.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/openmpi/package.py b/var/spack/repos/builtin/packages/openmpi/package.py
index 4e465e1784..0638628a6c 100644
--- a/var/spack/repos/builtin/packages/openmpi/package.py
+++ b/var/spack/repos/builtin/packages/openmpi/package.py
@@ -142,7 +142,7 @@ class Openmpi(Package):
])
if '+verbs' in spec:
path = _verbs_dir()
- if path is not None:
+ if path is not None and path not in ('/usr', '/usr/local'):
config_args.append('--with-%s=%s' % (self.verbs, path))
else:
config_args.append('--with-%s' % self.verbs)