On 15.02.2016 19:21, Mattia Rizzolo wrote:
On Mon, Feb 15, 2016 at 07:02:06PM +0100, Matthias Klose wrote:For this, /usr/share/mpi-default-dev/debian_defaults would need a new macro openmpi_archs = ...that's not possible, since the current mpi-defaults structure is "use openmpi everywhere, except in those 3 arch where we want mpich". the openmpi architectures are not listed in mpi-defaults.
I was suggessting to add such a macro.