diff options
| -rwxr-xr-x[-rw-r--r--] | configure.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index b2cfdb4..8c567c1 100644..100755 --- a/configure.sh +++ b/configure.sh @@ -49,6 +49,14 @@ if [ -z "${MPI_DIR}" ]; then fi done + if [[ -z "$MPI_DIR" && -z "$MPI_INC_DIRS" ]]; then + # MacPorts OpenMPI + if [ -r /opt/local/include/openmpi/mpi.h ]; then + MPI_DIR=/opt/local + MPI_INC_DIRS=/opt/local/include/openmpi + fi + fi + if [ -z "$MPI_DIR" ]; then echo "BEGIN MESSAGE" echo "MPI not found" |