On Sun, 16 Jul 2017 16:51:48 +0800 Drew Parsons <dpars...@debian.org> wrote:
In fact inspecting configure.in suggests the correct solution is to add
--with-mumps-include and --with-mumps-libs to
DEB_CONFIGURE_EXTRA_FLAGS in debian/rules, pointing to libdmumps
provided by the Debian mumps packages.
