Hi Ondrej! Am Freitag, den 21.12.2007, 09:34 +0100 schrieb Ondrej Certik: > On Dec 21, 2007 9:10 AM, Manuel Prinz <[EMAIL PROTECTED]> 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
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil
