Bug#895827: libopenmpi-dev: broken symlink: libpmix.so, and not installed libpmix.so.2.1.1

[John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>]

Package: libopenmpi-dev
Version: 3.0.1-5
Followup-For: Bug #895827
User: debian-68k@lists.debian.org
Usertags: m68k

It seems this revert broke openmpi on multiple platforms:

checking if user requested external PMIx support(/usr/lib/m68k-linux-gnu/pmix)... yes
checking --with-external-pmix value... not found
configure: WARNING: Directory /usr/lib/m68k-linux-gnu/pmix/include not found
configure: error: Cannot continue
	tail -v -n \+0 config.log

Can you disable PMIx for the affected architectures?

Thanks,
Adrian

--
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz@debian.org
`. `'   Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913