diff options
author | rhaas <rhaas@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2014-02-12 22:22:05 +0000 |
---|---|---|
committer | rhaas <rhaas@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2014-02-12 22:22:05 +0000 |
commit | 5a7b683c4940acf66174e85923497d72a753eaf2 (patch) | |
tree | 5accc3e61c0101ae65ac3d3f457cc3bae9741d4c | |
parent | a6d44e183997402fc81f08a88b07f23c466cc475 (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-x | configure.sh | 17 |
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 |