On Mon, Jan 21 2019, Andreas Kusalananda Kähäri <andreas.kah...@abc.se> wrote: > Ping on this. It makes the _ancient_ version of OpenMPI that we have > usable. Currently, the API's symbols are not exported in the library, so > the port is virtually unusable. This simple patch fixes that.
I've just committed a tweaked version (the workaround is not needed on gcc archs). Thanks, and sorry for the delay. I'm working on an update to openmpi-4.0.0, not sure when it'll be ready though. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
