openmpi: update to 4.0.1.

2019-08-11 18:15:22 +02:00
parent 3da208d26f
commit 9c11ee68e0
2 changed files with 9 additions and 8 deletions
--- a/common/shlibs
+++ b/common/shlibs
@@ -720,6 +720,7 @@ libaprutil-1.so.0 apr-util-1.3.9_1
 libnetpgp.so.0 libnetpgp-20100313_1
 libmj.so.0 libmj-20140211_1
 libmca_common_sm.so.40 libopenmpi-3.0.1_1
+libmca_common_dstore.so.1 libopenmpi-4.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