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

[Manuel Prinz]

Hi Ondrej!

Am Freitag, den 21.12.2007, 09:34 +0100 schrieb Ondrej Certik:
> On Dec 21, 2007 9:10 AM, Manuel Prinz <debian at pinguinkiste.de> wrote:
> > /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.

I was trying to get this message to you, though we happened to
misunderstand each other. This can happen, so no worries about that.

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

OK. I'll leave the bug as is (closed).

Best regards
Manuel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Dies ist ein digital signierter Nachrichtenteil
Url : http://lists.alioth.debian.org/pipermail/pkg-openmpi-maintainers/attachments/20071221/de9dc1e4/attachment-0004.pgp