aboutsummaryrefslogtreecommitdiff
path: root/configure.sh
diff options
context:
space:
mode:
authoreschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-07-04 20:43:13 +0000
committereschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-07-04 20:43:13 +0000
commit293b97e8d167876de31e695ecb32d260b506a1e0 (patch)
tree12bc1c40b9f0d86395f75f06b2840db45e9a5f23 /configure.sh
parentb62437307dd69398139ee33eead6b4e5030d4f1c (diff)
Update OpenMPI to 1.6.5HEADmaster
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@35 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
Diffstat (limited to 'configure.sh')
-rwxr-xr-xconfigure.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh
index 1738d9b..8c5e0c5 100755
--- a/configure.sh
+++ b/configure.sh
@@ -87,7 +87,8 @@ then
# Set locations
THORN=MPI
- NAME=openmpi-1.6.4
+ NAME=openmpi-1.6.5
+ #NAME=openmpi-1.7.1
SRCDIR=$(dirname $0)
BUILD_DIR=${SCRATCH_BUILD}/build/${THORN}
if [ -z "${MPI_INSTALL_DIR}"]; then
@@ -153,7 +154,7 @@ then
echo "MPI: Unpacking archive..."
pushd ${BUILD_DIR}
${TAR?} xzf ${SRCDIR}/dist/${NAME}.tar.gz
- ${PATCH?} -p0 < ${SRCDIR}/dist/default_outfile.patch
+ ${PATCH?} -p0 < ${SRCDIR}/dist/default_outfile-1.6.5.patch
echo "MPI: Configuring..."
cd ${NAME}