[Pkg-openmpi-maintainers] Bug#457088: Bug#457088: Bug#457088: Bug#457088: mpi.h is missing

[Ondrej Certik]

On Dec 21, 2007 9:10 AM, Manuel Prinz <debian at pinguinkiste.de> wrote:
> Hi Ondrej!
>
> Am Donnerstag, den 20.12.2007, 20:13 +0100 schrieb Ondrej Certik:
> > [ Some confusing about /usr/include/mpi/mpi.h not being a symlink ]
> > No, I think this particular bug is solved.
> >
> > What do you think about the symlink problem?
>
> /usr/include/mpi/mpi.h is not a symlink because /usr/include/mpi is a
> symlink. The MPI packages place all their header files in a directory

Opps, that didn't occur to me, I am stupid. Yes, you are of course right.
BTW, if you told me Dirk this right at the beginning, that /usr/include/mpi
is symlinked to the right headers in openmpi, we could have spared the
whole thread.
I didn't know about that, I thought you only have /usr/lib, which
would be of course bad.

All is fine, no bug there. Thanks again for your time spent on this issue.

Ondrej