Hi Santiago
On 2 September 2018 at 19:21, Santiago Vila <[email protected]> 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 $@
Regards
Graham
