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
under /usr/lib/package/include (or alike) and provide a symlink to that
directory named /usr/include/mpi. As a result, /u/i/m/mpi.h is a real
file in a symlinked directory. There is no need for mpi.h being a
symlink, as long as can be found in /usr/include somehow. You may like
to have a look at libopenmpi-dev.postinst and/or lam4-dev.postinst to
see how this works in practice.

I hope that I was able answer your question.

Best regards
Manuel

Attachment: signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil

Reply via email to