openmpi: update to 3.1.3.

This commit is contained in:
Johannes 2018-10-31 10:24:51 +01:00 committed by Johannes
parent ab8ccc44ee
commit ed84f26e73
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'openmpi'
pkgname=openmpi
version=3.1.2
version=3.1.3
revision=1
lib32disabled=yes
build_style=gnu-configure
@ -16,7 +16,7 @@ homepage="https://www.open-mpi.org/"
license="BSD-3-Clause"
maintainer="Juan RP <xtraeme@voidlinux.eu>"
distfiles="${homepage}/software/ompi/v${version%.*}/downloads/${pkgname}-${version}.tar.bz2"
checksum=c654ed847f34a278c52a15c98add40402b4a90f0c540779f1ae6c489af8a76c5
checksum=8be04307c00f51401d3fb9d837321781ea7c79f2a5a4a2e5d4eaedc874087ab6
nocross=yes # libtool -rpath /usr/lib issue
post_extract() {