use directory containing mpi.h for --with-mpi-include when building PETSc

Apparently --with-mpi-include takes only a single directory as an argument so when building the included PETSc tarball one has to pick one directory out of the list of directories in PETSC_EXTRA_MPI_INC_DIRS and MPI_INC_DIRS .

Currently we just pick the first one. The attached patch picks the first one that contains mpi.h which works better in case the first include dir is contains only MPI internal header files (in my OpenMPI case this was /usr/lib/x86_64-linux-gnu/openmpi/include/openmpi which contains files like orte_config.h and the like).

Keyword: PETSc

Comments (4)