[Pkg-openmpi-maintainers] Question regarding apparent dependency on libibverbs

[Mikael Djurfeldt]

Hi,

I'm the maintainer of the a package "music" which was accepted
yesterday.  Today, I noticed that buildd fails to build music on other
architectures.  The reason seems to be that libtool needs
/usr/lib/libibverbs.la when building the music library:

https://buildd.debian.org/fetch.cgi?&pkg=music&ver=1.0.3-1&arch=amd64&stamp=1238451893&file=log

But /usr/lib/libibverbs.la is not installed because libopenmpi-dev
does not depend on it!

I'm thinking that the core of this problem is that libopenmpi-deb
provides a /usr/lib/openmpi/lib/libmpi.la which mentions libibverbs.la
and therefore depends upon this file.  At the same time this
dependency is not declared in the dependencies of the package
libopenmpi-dev.

I thought I could hear your opinion on this before I file a bug report.

Best regards,
Mikael Djurfeldt