aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoreschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-04-08 15:21:20 +0000
committereschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-04-08 15:21:20 +0000
commit91ea4e2fb43ad6f833a20ddeeb18b2166281d7c2 (patch)
treeede73285493602ebfc05fecd9e482cc4c74ae87b
parent8d7f0329da370e228ed58e22fe17f50e621ffbd4 (diff)
Correct configure script
Ensure no shell command fails git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@24 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-xconfigure.sh11
1 files changed, 5 insertions, 6 deletions
diff --git a/configure.sh b/configure.sh
index e13ac8a..107e7f3 100755
--- a/configure.sh
+++ b/configure.sh
@@ -194,12 +194,11 @@ fi
# use mpic++ if available
if [ -x ${MPI_DIR}/bin/mpic++ ]; then
- ${MPI_DIR}/bin/mpic++ --showme:libs > /dev/null 2>&1
- if [ $? == 0 ]; then
- : ${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_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_LIBS="$(echo '' $(${MPI_DIR}/bin/mpic++ --showme:libs) '')"}
- fi
+ if ${MPI_DIR}/bin/mpic++ --showme:libs > /dev/null 2>&1; then
+ : ${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_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_LIBS="$(echo '' $(${MPI_DIR}/bin/mpic++ --showme:libs) '')"}
+ fi
fi
if [ "${MPI_DIR}" != '/usr' -a "${MPI_DIR}" != '/usr/local' ]; then