On Mon, Sep 03, 2018 at 09:23:54AM +0200, Graham Inggs wrote: > Hi Santiago > > On 2 September 2018 at 19:21, Santiago Vila <sanv...@debian.org> wrote: > > My guess is that this is a bug in p4est but it's triggered by a build > > depends > > which changed behaviour somewhere between 2017-12-24 (where version 1.1-5 > > still built ok for me in buster) and 2018-06-03 (where it did not anymore). > > Yes, openmpi flipped the default for oversubscription *again*, see #849974. > > Would you please check whether the following change to debian/rules > fixes it for you? > > --- a/debian/rules > +++ b/debian/rules > @@ -3,6 +3,7 @@ > include /usr/share/dpkg/pkg-info.mk > > export OMPI_MCA_plm_rsh_agent=/bin/false > +export OMPI_MCA_rmaps_base_oversubscribe=1 > > %: > dh $@ >
Yes, it fixes it. Thanks a lot.