aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrhaas <rhaas@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2014-02-12 22:22:05 +0000
committerrhaas <rhaas@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2014-02-12 22:22:05 +0000
commit5a7b683c4940acf66174e85923497d72a753eaf2 (patch)
tree5accc3e61c0101ae65ac3d3f457cc3bae9741d4c
parenta6d44e183997402fc81f08a88b07f23c466cc475 (diff)
report missing PATCH or TAR
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@41 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-xconfigure.sh17
1 files changed, 17 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh
index 1403eee..6f32d25 100755
--- a/configure.sh
+++ b/configure.sh
@@ -85,6 +85,23 @@ then
echo "Using bundled MPI..."
echo "END MESSAGE"
+ # check for required tools. Do this here so that we don't require them when
+ # using the system library
+ if [ x$TAR = x ] ; then
+ echo 'BEGIN ERROR'
+ echo 'Could not find tar command. Please make sure that (gnu) tar is present'
+ echo 'and that the TAR variable is set to its location.'
+ echo 'END ERROR'
+ exit 1
+ fi
+ if [ x$PATCH = x ] ; then
+ echo 'BEGIN ERROR'
+ echo 'Could not find patch command. Please make sure that (gnu) tar is present'
+ echo 'and that the PATCH variable is set to its location.'
+ echo 'END ERROR'
+ exit 1
+ fi
+
# Set locations
THORN=MPI
NAME=openmpi-1.6.5