From 5af0397c33951de5095db389ac9b526473f64c49 Mon Sep 17 00:00:00 2001
From: Johannes Brechtmann <johannes.brechtmann@gmail.com>
Date: Thu, 30 Aug 2018 21:42:25 +0200
Subject: [PATCH] openmpi: update to 3.1.2.

---
 common/shlibs            | 1 +
 srcpkgs/openmpi/template | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/common/shlibs b/common/shlibs
index 7fcb22f73d..75ba85f976 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -715,6 +715,7 @@ libnetpgp.so.0 libnetpgp-20100313_1
 libmj.so.0 libmj-20140211_1
 libmca_common_sm.so.40 libopenmpi-3.0.1_1
 libmca_common_ompio.so.41 libopenmpi-3.0.1_1
+libmca_common_monitoring.so.50 libopenmpi-3.1.2_1
 libmpi.so.40 libopenmpi-3.0.1_1
 libompitrace.so.40 libopenmpi-3.0.1_1
 libopen-pal.so.40 libopenmpi-3.0.1_1
diff --git a/srcpkgs/openmpi/template b/srcpkgs/openmpi/template
index c5cf282fff..1924d9483d 100644
--- a/srcpkgs/openmpi/template
+++ b/srcpkgs/openmpi/template
@@ -1,7 +1,7 @@
 # Template file for 'openmpi'
 pkgname=openmpi
-version=3.0.1
-revision=2
+version=3.1.2
+revision=1
 lib32disabled=yes
 build_style=gnu-configure
 configure_args="--enable-ipv6 --with-hwloc=${XBPS_CROSS_BASE}/usr"
@@ -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=663450d1ee7838b03644507e8a76edfb1fba23e601e9e0b5b2a738e54acd785d
+checksum=c654ed847f34a278c52a15c98add40402b4a90f0c540779f1ae6c489af8a76c5
 nocross=yes  # libtool -rpath /usr/lib issue
 
 post_extract() {