Veselin Dobrev e4597f09be 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.		2018-03-05 12:53:36 -07:00
..
spack	openmpi: add package-specific 'headers' property (#7267)	2018-03-05 12:53:36 -07:00