diff options
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/openmpi/package.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/openmpi/package.py b/var/spack/repos/builtin/packages/openmpi/package.py index 754cc8d93e..2c6b6d68ac 100644 --- a/var/spack/repos/builtin/packages/openmpi/package.py +++ b/var/spack/repos/builtin/packages/openmpi/package.py @@ -39,6 +39,9 @@ def _verbs_dir(): # Remove executable name and "bin" directory path = os.path.dirname(path) path = os.path.dirname(path) + # There's usually no "/include" on Unix; use "/usr/include" instead + if path == "/": + path = "/usr" return path except: return None |