Re: [OMPI devel] ARM failure on PR to master

Now moved to https://github.com/open-mpi/ompi/pull/5258 - same error > On Jun 8, 2018, at 9:04 PM, r...@open-mpi.org wrote: > > Can someone who knows/cares about ARM perhaps take a look at PR > https://github.com/open-mpi/ompi/pull/5247 >

Re: [OMPI devel] Shared object dependencies

Edgar, I checked the various release branches, and I think this issue was fixed by https://github.com/open-mpi/ompi/commit/ccf76b779130e065de326f71fe6bac868c565300 This was back-ported into the v3.0.x branch, and that was before the v3.1.x branch was created. This has *not* been backported