diff options
Diffstat (limited to 'configure.sh')
| -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 |