diff options
-rwxr-xr-x | configure.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh index eff032f..1738d9b 100755 --- a/configure.sh +++ b/configure.sh @@ -51,8 +51,9 @@ if [ -z "${MPI_DIR}" ]; then if [ -z "${MPI_DIR}" -a -z "${MPI_INC_DIRS}" ]; then # MacPorts OpenMPI - if [ -r /opt/local/include/openmpi/mpi.h -a \ - -r /opt/local/lib/libmpi.a ]; + if [ -r /opt/local/include/openmpi/mpi.h -a \ + -r /opt/local/lib/libmpi.dylib -a \ + -r /opt/local/lib/libmpi_cxx.dylib ]; \ then MPI_DIR=/opt/local MPI_INC_DIRS=/opt/local/include/openmpi |