Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prepend MPI include paths in case of dynamic MPI build (#1585)
* (global) include paths added by cmake could contain unnecessary/undesirable MPI library headers for dynamic mpi library (see #1566) * in order to have preference for corresponding MPI library headers, prepend mpi include path so that those paths are added first. See: #1566 (comment) fixes #1566
- Loading branch information