diff options
| -rwxr-xr-x | configure.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index f5b8453..5ade474 100755 --- a/configure.sh +++ b/configure.sh @@ -192,6 +192,13 @@ fi # Set options +# use mpic++ if available +if [ -x ${MPI_DIR}/bin/mpic++ ]; then + : ${MPI_LIBS="$(echo '' $(${MPI_DIR}/bin/mpic++ --showme:libs) '')"} + : ${MPI_LIB_DIRS="$(echo '' $(${MPI_DIR}/bin/mpic++ --showme:libdirs) '' | sed -e 's+\( \|^\)/lib\( \|$\)++g;s+\( \|^\)/lib64\( \|$\)++g;s+\( \|^\)/usr/lib\( \|$\)++g;s+\( \|^\)/usr/lib64\( \|$\)++g;s+\( \|^\)/usr/local/lib\( \|$\)++g;s+\( \|^\)/usr/local/lib64\( \|$\)++g')"} + : ${MPI_INC_DIRS="$(echo '' $(${MPI_DIR}/bin/mpic++ --showme:incdirs) '' | sed -e 's+\( \|^\)/include\( \|$\)++g;s+\( \|^\)/use/include\( \|$\)++g;s+\( \|^\)/usr/local/include\( \|$\)++g')"} +fi + if [ "${MPI_DIR}" != '/usr' -a "${MPI_DIR}" != '/usr/local' ]; then : ${MPI_INC_DIRS="${MPI_DIR}/include"} : ${MPI_LIB_DIRS="${MPI_DIR}/lib"} |