Bug#828987: libpetsc3.6-dev: Updating openmpi breaks usage of PETSc

[Massimiliano Leoni]

Package: libpetsc3.6-dev
Version: 3.6.4.dfsg1-2
Severity: grave
Justification: renders package unusable

Dear Maintainer,

Every time package openmpi is updated PETSc is rendered unusable by an
internal preprocessor directive, resulting in the error

/usr/lib/petscdir/3.6.4/x86_64-linux-gnu-real/include/petscsys.h:133:6:
error: #error "PETSc was configured with one OpenMPI mpi.h version but
now appears to be compiling using a different OpenMPI mpi.h version"
 #    error "PETSc was configured with one OpenMPI mpi.h version but now
 #    appears to be compiling using a different OpenMPI mpi.h version"

PETSc needs to be re-configured and re-built with the new openmpi
version.

Thanks for your help.

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.6.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=it_IT.UTF-8, LC_CTYPE=it_IT.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libpetsc3.6-dev depends on:
ii  libpetsc3.6.4-dev  3.6.4.dfsg1-2

libpetsc3.6-dev recommends no packages.

libpetsc3.6-dev suggests no packages.

-- no debconf information