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

[Alexander Achenbach]

Hi Manuel,

wow, that was the fastest reply at DBTS ever. :-)

Great, thanks!

(And don't mind the name mix-up.)

Cheers,
Alex

Manuel Prinz wrote:
> 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