Subject: [bug#31434] [PATCH 0/2] OpenMPI 3.0

From: [email-masked] (Ludovic Courtès)
Date: Wed, 23 May 2018 10:09:35 +0200

Hello Eric,

Ludovic Courtès <[email-masked]> skribis:

> The attached patch updates OpenMPI to 3.0.1.  The ‘superlu-dist’ upgrade
> was necessary to get there.

Did you have a chance to look into it?  You mentioned on IRC that there
might be a better way than setting OMPI_MCA_plm_rsh_agent.

Thanks in advance!

Ludo’.