On Dec 21, 2007 9:10 AM, Manuel Prinz <[EMAIL PROTECTED]> wrote: > 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
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. All is fine, no bug there. Thanks again for your time spent on this issue. Ondrej -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
