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

Ondrej Certik ondrej at certik.cz
Wed Dec 19 21:15:31 UTC 2007


> | I meant something like /usr/include/openmpi/
>
> 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 ?
>
> We use /usr/include/openmpi now, and we think that's the right way:

I agree that is the right way, but you don't use /usr/include/openmpi,
but /usr/lib/openmpi/include, as you have just shown:

>
> 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
> edd at ron:~$ dpkg -l libopenmpi-dev
> Desired=Unknown/Install/Remove/Purge/Hold
> | Status=Not/Installed/Config-files/Unpacked/Failed-config/Half-installed
> |/ Err?=(none)/Hold/Reinst-required/X=both-problems (Status,Err: uppercase=bad)
> ||/ Name                                   Version                                Description
> +++-======================================-======================================-============================================================================================
> ii  libopenmpi-dev                         1.2.4-5                                high performance message passing library -- header files
> edd at ron:~$
>
> No bug here, and if you could excuse me now, I got real work to do.

I am sorry for taking your time. And I appreciate your work on
openmpi. Unfortunately I still don't understand how it works. I admit
it can be my fault.

Let me repeat my question:

Why does openmpi use /usr/lib instead of /usr/include? Other libraries
use /usr/include, like petsc (/usr/include/petsc), libmesh
(/usr/include/libmesh), gtk
(/usr/include/gtk-2.0) etc. etc. Usually, as I understand it, they
also use /usr/lib/something/include, but they always link from
/usr/include.

Also, I, as a user, was used to using /usr/include (/something) for
everything, that's why I thought it'd the de facto standard, isn't it?
And if not,
is there some policy for that? I only found links I posted above,
suggesting to use /usr/include.

Thanks a lot,
Ondrej






More information about the Pkg-openmpi-maintainers mailing list