diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-05-14 22:43:28 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-05-14 22:43:28 +0000 |
commit | 387dda1dab2b8e9e79ab06c545d2f3387123f7c0 (patch) | |
tree | 487020af3215f7d665a88957eda0ed594e645cc5 | |
parent | 0915a6e7f68100d12edc62c067063b09651a287a (diff) |
Require libmpi.a to be present for auto-detecting OpenMPI
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@30 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-x | configure.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh index 94531ff..eff032f 100755 --- a/configure.sh +++ b/configure.sh @@ -49,11 +49,14 @@ if [ -z "${MPI_DIR}" ]; then fi done - if [[ -z "$MPI_DIR" && -z "$MPI_INC_DIRS" ]]; then + if [ -z "${MPI_DIR}" -a -z "${MPI_INC_DIRS}" ]; then # MacPorts OpenMPI - if [ -r /opt/local/include/openmpi/mpi.h ]; then + if [ -r /opt/local/include/openmpi/mpi.h -a \ + -r /opt/local/lib/libmpi.a ]; + then MPI_DIR=/opt/local MPI_INC_DIRS=/opt/local/include/openmpi + MPI_LIB_DIRS=/opt/local/lib fi fi |