From e78671dea45d29ad2f8a87c08089f31bea3abc95 Mon Sep 17 00:00:00 2001 From: henry Date: Fri, 23 Jan 2009 08:33:33 +0000 Subject: [PATCH] Select OpenMPI-1.3. --- etc/settings.csh | 2 +- etc/settings.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/settings.csh b/etc/settings.csh index ee6a08c94a..73b14eb38c 100644 --- a/etc/settings.csh +++ b/etc/settings.csh @@ -121,7 +121,7 @@ unset MPI_ARCH_PATH switch ("$WM_MPLIB") case OPENMPI: - set mpi_version=openmpi-1.2.8 + set mpi_version=openmpi-1.3 setenv MPI_HOME $WM_THIRD_PARTY_DIR/$mpi_version setenv MPI_ARCH_PATH $MPI_HOME/platforms/$WM_OPTIONS diff --git a/etc/settings.sh b/etc/settings.sh index 2621e1530c..ff56af0b95 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -151,7 +151,7 @@ unset MPI_ARCH_PATH case "$WM_MPLIB" in OPENMPI) - mpi_version=openmpi-1.2.8 + mpi_version=openmpi-1.3 export MPI_HOME=$WM_THIRD_PARTY_DIR/$mpi_version export MPI_ARCH_PATH=$MPI_HOME/platforms/$WM_OPTIONS