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

[Manuel Prinz]

Hi Andreas!

Thanks for your bug report!

Am Dienstag, den 05.08.2008, 17:25 +0200 schrieb Alexander Achenbach:
> What about adding a symlink
> 
>     /usr/include/openmpi => ../lib/openmpi/include
> 
> similar to the existing symlinks of shared libraries?

I was sure that symlink should exist until I read you report. Maybe I
just missed it during the tranisition of openmpi to /usr/lib. Dunno why
it did not affect other software I compiled... Anyway, we'll fix
that! ;)

I'm sorry that I can't check that right now and can't fix it before next
week. Maybe one of the other maintainers can step in?

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