Bug#853029: mpi-default-dev: update mpi defaults for m68k and sh4 to openmpi?

2021-08-04 Thread Mattia Rizzolo
On Mon, Jan 30, 2017 at 06:49:23PM +0800, Drew Parsons wrote: > On Mon, 2017-01-30 at 10:20 +0100, Mattia Rizzolo wrote: > > > > Such change really needs to be ACK by a porter, therefore I'm CCing > > the > > 68k and sh lists. > > > > Thanks Mattia. J.P. Adrian Glaubitz also replied via the

Bug#853029: mpi-default-dev: update mpi defaults for m68k and sh4 to openmpi?

2017-01-30 Thread Drew Parsons
On Mon, 2017-01-30 at 10:20 +0100, Mattia Rizzolo wrote: > > Such change really needs to be ACK by a porter, therefore I'm CCing > the > 68k and sh lists. > Thanks Mattia. J.P. Adrian Glaubitz also replied via the port lists, and said he'll check to confirm the change won't break anything.

Bug#853029: mpi-default-dev: update mpi defaults for m68k and sh4 to openmpi?

2017-01-30 Thread Mattia Rizzolo
Control: tag -1 +moreinfo On Sun, Jan 29, 2017 at 11:09:27AM +0800, Drew Parsons wrote: > This bug report follows on from #833425 > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=833425 > > openmpi now builds on m68k and sh4. Yes, also as I reported in that bug report. > For various reasons

Bug#853029: mpi-default-dev: update mpi defaults for m68k and sh4 to openmpi?

2017-01-28 Thread Drew Parsons
Package: mpi-default-dev Version: 1.8 Severity: normal This bug report follows on from #833425 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=833425 openmpi now builds on m68k and sh4. For various reasons it could be convenient if the Debian default mpi on these architectures could be