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

2007-12-19 Thread Dirk Eddelbuettel
On 19 December 2007 at 22:23, Julien Cristau wrote: | 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

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

2007-12-19 Thread Dirk Eddelbuettel
On 19 December 2007 at 22:15, Ondrej Certik wrote: | > | 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 n

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

2007-12-19 Thread Sune Vuorela
On Wednesday 19 December 2007, Dirk Eddelbuettel wrote: > On 19 December 2007 at 22:23, Julien Cristau wrote: > | 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 /u

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

2007-12-19 Thread Ondrej Certik
> | 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

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

2007-12-19 Thread 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

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

2007-12-19 Thread Dirk Eddelbuettel
On 19 December 2007 at 20:38, [EMAIL PROTECTED] wrote: | > As you may know, we are trying to let Open MPI coexist with MPICH and | > LAM. | > | > /usr/include is fine for _non-conflicting_ files as good as a general | > rule, but not so clear if several packages provide it. By 'staying | > out of

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

2007-12-19 Thread ondrej
On 12/19/07, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: > On Wed, Dec 19, 2007 at 07:40:13PM +0100, Ondrej Certik wrote: > > On Dec 19, 2007 7:15 PM, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: > > > On Wed, Dec 19, 2007 at 06:49:15PM +0100, Ondrej Certik wrote: > > > > Package: libopenmpi-dev >

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

2007-12-19 Thread Dirk Eddelbuettel
On Wed, Dec 19, 2007 at 07:40:13PM +0100, Ondrej Certik wrote: > On Dec 19, 2007 7:15 PM, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: > > On Wed, Dec 19, 2007 at 06:49:15PM +0100, Ondrej Certik wrote: > > > Package: libopenmpi-dev > > > Version: 1.2.4-5 > > > Severity: serious > > > > > > --- Plea

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

2007-12-19 Thread Ondrej Certik
On Dec 19, 2007 7:15 PM, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: > On Wed, Dec 19, 2007 at 06:49:15PM +0100, Ondrej Certik wrote: > > Package: libopenmpi-dev > > Version: 1.2.4-5 > > Severity: serious > > > > --- Please enter the report below this line. --- > > > > Hi, > > > > the mpi.h is mis