diff options
| author | Veselin Dobrev <v-dobrev@users.noreply.github.com> | 2018-03-05 11:53:36 -0800 |
|---|---|---|
| committer | Christoph Junghans <christoph.junghans@gmail.com> | 2018-03-05 12:53:36 -0700 |
| commit | e4597f09bef4436e99cd63e2510e07e4c91bc821 (patch) | |
| tree | 9dde3e32ecd5db5122ea660a4e873350f56ae17b /etc | |
| parent | 3cf2cda4ec21144e5b388408eee5c648c1f5b91d (diff) | |
| download | spack-e4597f09bef4436e99cd63e2510e07e4c91bc821.tar.gz spack-e4597f09bef4436e99cd63e2510e07e4c91bc821.tar.bz2 spack-e4597f09bef4436e99cd63e2510e07e4c91bc821.tar.xz spack-e4597f09bef4436e99cd63e2510e07e4c91bc821.zip | |
openmpi: add package-specific 'headers' property (#7267)
* [OpenMPI] Add the 'headers' property. This removes some redundant
headers from sub-directories, returned by the default '.headers'
handler.
* [OpenMPI] In the .headers property, add a fallback to search all of
prefix for the mpi.h header. Recommended by @junghans to support some
external configurations, see #7268.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions