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

Create issue
Issue #2130 closed
Roland Haas created an issue

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)

  1. Roland Haas reporter
    • changed status to resolved
    • removed comment

    Applied as revision 64 "PETSc: use directory containing mpi.h as MPI_INC_DIRS" of PETSc

  2. Log in to comment