On 01/04/2019 13:33, lukshuntim@gmail.com wrote:
On 27/3/2019 9:23 PM, Alastair McKinstry wrote:
I found out that OpenMPI *can* be removed if I install the locally
rebuilt mpi-default-dev and mpi-default-bin after changing
/usr/share/mpi-default-dev/debian_defaults. They now depend on mpich
instead.
But this is just a hack, when mpi-default-dev is updated, it will
revert back to OpenMPI. Is there anyway to avoid that?
Regards,
-- st
You _could_ produce a local version of mpi-default-dev package (with a
new version number, eg. 1.13+rebuild1, then pin it.