[Pkg-openmpi-maintainers] Bug#459070: /usr/include/openmpi is missing (mpi.h isn't in /usr/include/**)

[Ondrej Certik]

Package: libopenmpi-dev
Severity: normal

--- Please enter the report below this line. ---

Hi, 

In the last bug I reported:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=457088

I was told, that the mpi.h is in /usr/include/openmpi

However, in the clean environment, the libopenmpi-dev package fails to put mpi.h into
/usr/include/openmpi.

How to reproduce the problem:

$ sudo cowbuilder --update     # or --c 500 unstable        debian.certik.cz reate if you never used cowbuilder before
$ sudo cowbuilder --login
# apt-get install libopenmpi-dev
# ls /usr/include/openmpi
ls: /usr/include/openmpi: No such file or directory

In the last bug, it was suggested, that this could be a problem in the broken
update-alternatives package. This could be the real problem, but unfortunately,
as a consequence, libopenmpi-dev isn't working. I am reporting this bug
as a normal bug, but I think the severity is serious, because it's a violation
of the FHS not to put the *.h files into /usr/include or any subdirectory.

How about just using plain "ln -s"? Like this:

ln -s /usr/lib/openmpi/include/ /usr/include/openmpi

This should fix the problem, if update-alternatives doesn't work.

Ondrej

--- System information. ---
Architecture: i386
Kernel:       Linux 2.6.23-1-686

Debian Release: lenny/sid
  500 unstable        ftp.cz.debian.org 

--- Package information. ---
Depends              (Version) | Installed
==============================-+-============
libopenmpi1        (= 1.2.4-5) | 1.2.4-5
openmpi-common     (= 1.2.4-5) | 1.2.4-5