diff options
author | hinder <hinder@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-02-14 14:03:31 +0000 |
---|---|---|
committer | hinder <hinder@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-02-14 14:03:31 +0000 |
commit | 4035150b3286c97362712890a2a89d8284342bb8 (patch) | |
tree | 77ea4cb99c69880ed3fcdb27f2abf28c14c59022 | |
parent | fc1197d127e834f015a65321758b6f3e3ad6bd93 (diff) |
configure.sh: Detect OpenMPI on Mac OS automatically
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@15 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-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" |