[Pkg-openmpi-maintainers] Bug#493875: libopenmpi-dev lacks /usr/include/openmpi

[Alexander Achenbach]

Package: libopenmpi-dev
Version: 1.2.7~rc2-1
Tags: lenny

There is no longer any

    /usr/include/openmpi

directory that can be used to access OpenMPI headers explicitly.

People here have been using

    #include <openmpi/...>

statements to make sure they are working with OpenMPI (and not
with LAM or other alternatives). Not to have these files available
in lenny is a regression.

Furthermore, since libopenmpi-dev now puts headers into

    /usr/lib/openmpi/include

they are not even in the standard headers search path, and

    #include "/usr/lib/openmpi/include/..."

is not really a nice way of making use of them.

What about adding a symlink

    /usr/include/openmpi => ../lib/openmpi/include

similar to the existing symlinks of shared libraries?

Best regards,
Alexander Achenbach