diff --git a/etc/settings.csh b/etc/settings.csh index d970f039423776c711eee7e0a36a63042928a297..a2a9c37b07071417948aa46353b381604f23f3d0 100644 --- a/etc/settings.csh +++ b/etc/settings.csh @@ -132,7 +132,7 @@ unset MPI_ARCH_PATH switch ("$WM_MPLIB") case OPENMPI: - set mpi_version=openmpi-1.3.3 + set mpi_version=openmpi-1.3.4 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 02b3172307f8d24e9b274790db30b6cd353f5650..5dc56ac0188b38538d9c0dd494a10347d8b89c01 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -163,7 +163,7 @@ unset MPI_ARCH_PATH case "$WM_MPLIB" in OPENMPI) - mpi_version=openmpi-1.3.3 + mpi_version=openmpi-1.3.4 export MPI_HOME=$WM_THIRD_PARTY_DIR/$mpi_version export MPI_ARCH_PATH=$MPI_HOME/platforms/$WM_OPTIONS