On Wed, Dec 19, 2007 at 14:45:06 -0600, Dirk Eddelbuettel wrote: > You lost me. Please make up your mind as to whether you think it is a problem > because we do or do not use /usr/include, or /usr/include/openmpi ?
Either would be ok. /usr/lib isn't. > > We use /usr/include/openmpi now, and we think that's the right way: > No, you don't, you're using a subdirectory of /usr/lib/, and that's a serious bug. > [EMAIL PROTECTED]:~$ dpkg -L libopenmpi-dev | grep mpi.h > /usr/lib/openmpi/include/mpi.h > /usr/lib/openmpi/include/openmpi/ompi/mpi/f77/prototypes_mpi.h Cheers, Julien -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]