[Pkg-openmpi-maintainers] Bug#457088: Bug#457088: mpi.h is missing

[Julien Cristau]

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.

> edd at ron:~$ 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