On 26/3/2019 7:30 PM, Alastair McKinstry wrote:
Thanks!
Look at the mpi-default-dev package. Most packages using MPI should depend on it (only depending on eg libopenmpi-dev if its specifically openmpi dependent).Edit /usr/share/mpi-default-dev/debian_defaults locally, change openmpi -> mpich. Then# apt install libmpich-dev mpich # apt remove libopenmpi-dev openmpi-bin
This also removes mpi-default-dev, which is a "build-depends" of building (most) packages with MPI. I'm on buster, if that matters.
I would like to re-build the packages the debian way (sort of a local NMU), ie, apt source <package>; apt build-dep <package>; ...; debuild -us -uc.
Regards, -- st