[ET Trac] [Einstein Toolkit] #2130: use directory containing mpi.h for --with-mpi-include when building PETSc

[Einstein Toolkit]

#2130: use directory containing mpi.h for --with-mpi-include when building PETSc
-----------------------------------+----------------------------------------
 Reporter:  rhaas                  |       Owner:                     
     Type:  defect                 |      Status:  new                
 Priority:  minor                  |   Milestone:                     
Component:  EinsteinToolkit thorn  |     Version:  development version
 Keywords:  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).

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/2130>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit