From 409fb9aa9a7008080d479d6c1bce2e9cda3c8f82 Mon Sep 17 00:00:00 2001
From: Mark Olesen <Mark.Olesen@Germany>
Date: Tue, 15 Dec 2009 16:43:33 +0100
Subject: [PATCH] Use openmpi-1.4, which was released 2009-12-08 (minor
security fix).
According to the openmpi release information:
- Use GNU Libtool 2.2.6b to build Open MPI, which updates the
embedded "libltdl" library to fix a potential security
vulnerability. There are no other changes compared to Open MPI
v1.3.4.
For development purposes it should thus be adequate to simply
( cd $WM_THIRD_PARTY_DIR && mv openmpi-1.3.4 openmpi-1.4 )
if you don't wish to recompile things.
---
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 a2a9c37b070..6628473269f 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.4
+ set mpi_version=openmpi-1.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 5dc56ac0188..8b3cebe42e9 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.4
+ mpi_version=openmpi-1.4
export MPI_HOME=$WM_THIRD_PARTY_DIR/$mpi_version
export MPI_ARCH_PATH=$MPI_HOME/platforms/$WM_OPTIONS
--
GitLab