On 26/03/2019 11:24, [email protected] wrote:
Hi,
I'd like to locally rebuild some mpi-dependent packages with
dependence on mpich, instead of the default openmpi. What is the
best-practice to do it?
Regards,
-- st
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
regards
Alastair
--
Alastair McKinstry, <[email protected]>, <[email protected]>, matrix:
@alastair:sceal.ie
Misentropy: doubting that the Universe is becoming more disordered.
