aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorknarf <knarf@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-04-08 02:40:06 +0000
committerknarf <knarf@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-04-08 02:40:06 +0000
commitc490600c8c63a183e1069d13e77aaa57207e48a1 (patch)
tree8e22c6a982e4eafcbc923bc29c15ced885fa9055
parent8ebb7769773dc9b77984ac82c11b302ee981d4bd (diff)
Check that compiler wrapper supports library information output before using it - mostly important for non-OpenMPI implemenations
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@22 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-xconfigure.sh9
1 files changed, 6 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh
index 5ade474..83088bc 100755
--- a/configure.sh
+++ b/configure.sh
@@ -194,9 +194,12 @@ fi
# 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')"}
+ ${MPI_DIR}/bin/mpic++ --showme:libs > /dev/null 2>&1
+ if [ $? == 0 ]; 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
fi
if [ "${MPI_DIR}" != '/usr' -a "${MPI_DIR}" != '/usr/local' ]; then