diff options
| author | bmundim <bmundim@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2011-12-19 04:12:05 +0000 |
|---|---|---|
| committer | bmundim <bmundim@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2011-12-19 04:12:05 +0000 |
| commit | fc555e74dafc0b0395c5d1e85f5e462000cc9de5 (patch) | |
| tree | c192166832d5c04de0b683c9864bf1ba5e57bbed /configure.sh | |
| parent | 283a5dfd6cba0795186199e9642908b2a7834e1b (diff) | |
Allow external installation directory.
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@3 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
Diffstat (limited to 'configure.sh')
| -rw-r--r-- | configure.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 34d9218..b2eff4a 100644 --- a/configure.sh +++ b/configure.sh @@ -74,7 +74,14 @@ if [ -z "${OPENMPI_DIR}" -o "${OPENMPI_DIR}" = 'BUILD' ]; then NAME=openmpi-1.5.3 SRCDIR=$(dirname $0) BUILD_DIR=${SCRATCH_BUILD}/build/${THORN} - INSTALL_DIR=${SCRATCH_BUILD}/external/${THORN} + if [ -z "${OPENMPI_INSTALL_DIR}"]; then + INSTALL_DIR=${SCRATCH_BUILD}/external/${THORN} + else + echo "BEGIN MESSAGE" + echo "Installing OpenMPI into ${OPENMPI_INSTALL_DIR} " + echo "END MESSAGE" + INSTALL_DIR=${OPENMPI_INSTALL_DIR} + fi DONE_FILE=${SCRATCH_BUILD}/done/${THORN} OPENMPI_DIR=${INSTALL_DIR} |