diff options
| author | Emmanuel N. Millan <emmanueln[at]gmail[dot]com> | 2019-03-23 00:37:03 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-03-23 00:37:03 +0700 |
| commit | 8506e81bde254e88e12443de456cbc9cfdf13e69 (patch) | |
| tree | 0d8aa51ff40dacd320dcd9ab5ac0960c0e68e0da /system | |
| parent | cd97fd582bb568bcd9b85c7e5c0dc79a4886857a (diff) | |
system/openmpi: Updated for version 4.0.0.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'system')
| -rw-r--r-- | system/openmpi/openmpi.SlackBuild | 4 | ||||
| -rw-r--r-- | system/openmpi/openmpi.info | 10 |
2 files changed, 7 insertions, 7 deletions
diff --git a/system/openmpi/openmpi.SlackBuild b/system/openmpi/openmpi.SlackBuild index 3d6144c0339f..6fcf4645ecd9 100644 --- a/system/openmpi/openmpi.SlackBuild +++ b/system/openmpi/openmpi.SlackBuild @@ -5,7 +5,7 @@ # Copyright 2010 Erik W. Hanson, Minneapolis, MN, USA # All rights reserved. # -# Copyright 2015 Emmanuel N. Millan, Mendoza, Argentina. +# Copyright 2015-2019 Emmanuel N. Millan, Mendoza, Argentina. # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -26,7 +26,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=openmpi -VERSION=${VERSION:-2.1.3} +VERSION=${VERSION:-4.0.0} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} diff --git a/system/openmpi/openmpi.info b/system/openmpi/openmpi.info index ea11a17f41fb..8a9b0a1489b1 100644 --- a/system/openmpi/openmpi.info +++ b/system/openmpi/openmpi.info @@ -1,10 +1,10 @@ PRGNAM="openmpi" -VERSION="2.1.3" -HOMEPAGE="http://www.open-mpi.org/" -DOWNLOAD="https://www.open-mpi.org/software/ompi/v2.1/downloads/openmpi-2.1.3.tar.bz2" -MD5SUM="46079b6f898a412240a0bf523e6cd24b" +VERSION="4.0.0" +HOMEPAGE="https://www.open-mpi.org/" +DOWNLOAD="https://download.open-mpi.org/release/open-mpi/v4.0/openmpi-4.0.0.tar.bz2" +MD5SUM="e3da67df1e968c8798827e0e5fe9a510" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Emmanuel N. Millan" -EMAIL="emmanueln@gmail.com" +EMAIL="emmanueln[at]gmail[dot]com" |