On Fri, May 25, 2018, at 11:43 CDT, Graham Inggs <gin...@debian.org> wrote:
> I hit this problem in 3.1.0-4 a few hours ago, before 3.1.0-5 was
> picked up by the mirrors.
>
> Are you sure this still occurs in 3.1.0-5? Otherwise, this is a
> duplicate of #899391.
I don't think so. I have:
# dpkg -l | grep libopenmpi
ii libopenmpi-dev:amd64 3.1.0-5 amd64
ii libopenmpi3:amd64 3.1.0-5 amd64
#mpicc --showme
gcc [...]
-Wl,-rpath -Wl,/usr/lib/x86_64-linux-gnu/openmpi/lib
-Wl,--enable-new-dtags -L/usr/lib/x86_64-linux-gnu/openmpi/lib [...]
Best,
Matthias
