toolchain: bump OpenMPI to 3.1.3

cp2k · Feb 1, 2019 · 65b26d2 · 65b26d2
1 parent 98f658d
commit 65b26d2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/tools/toolchain/scripts/checksums.sha256 b/tools/toolchain/scripts/checksums.sha256
@@ -67,6 +67,7 @@ dd58aee2bc5505e23b0761835bf2b9a90e5f050c6708ef68c5028373970673f8 *libsmm_dnn_x86
 5c576eafb2ff10c338c67549ba1cf299a704bd052f648f4b7854115e4d07fabd *openmpi-2.0.1.tar.gz
 32914cc64780d3980066f3be3920b028cd381c94d1262a55415fc1d002bae0a5 *openmpi-2.0.2.tar.gz
 a72d5a3f64c7afa33fb6c795e1168de7f92b35fd1f97ef606cfcf7405273aedc *openmpi-3.1.0.tar.gz
+0254627d8a9b12a8f50213ed01e7a94dd7e91b340abf5c53bcf0b89afe6fb77d *openmpi-3.1.3.tar.gz
 864d46f1e95084e44c8493729531974de2ee647c156a0a9bd965ce1747161eb1 *libxsmm-1.1.tar.gz
 6fe23cebc25df93fe6997daf9be2072c126aab2bfc32a9dde946b448d2d1c49e *libxsmm-1.2.tar.gz
 f7abd2f96bdba6d6182954f359e8bde87b2d56392d5e9ac3236210b8fa77face *libxsmm-1.3.tar.gz

diff --git a/tools/toolchain/scripts/install_openmpi.sh b/tools/toolchain/scripts/install_openmpi.sh
@@ -2,7 +2,7 @@
 [ "${BASH_SOURCE[0]}" ] && SCRIPT_NAME="${BASH_SOURCE[0]}" || SCRIPT_NAME=$0
 SCRIPT_DIR="$(cd "$(dirname "$SCRIPT_NAME")" && pwd -P)"
 
-openmpi_ver=${openmpi_ver:-3.1.0}
+openmpi_ver=${openmpi_ver:-3.1.3}
 source "${SCRIPT_DIR}"/common_vars.sh
 source "${SCRIPT_DIR}"/tool_kit.sh
 source "${SCRIPT_DIR}"/signal_trap.sh
@@ -28,7 +28,7 @@ case "$with_openmpi" in
                 echo "openmpi-${openmpi_ver}.tar.gz is found"
             else
                 download_pkg ${DOWNLOADER_FLAGS} \
-                             https://www.cp2k.org/static/downloads/openmpi-${openmpi_ver}.tar.gz
+                             https://download.open-mpi.org/release/open-mpi/v${openmpi_ver%.*}/openmpi-${openmpi_ver}.tar.gz
             fi
             echo "Installing from scratch into ${pkg_install_dir}"
             [ -d openmpi-${openmpi_ver} ] && rm -rf openmpi-${openmpi_ver}