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

Dirk Eddelbuettel edd at debian.org
Wed Dec 19 22:17:29 UTC 2007


On 19 December 2007 at 22:54, Sune Vuorela wrote:
| 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 /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.
| >
| > Why?    Many projects live off a common root dir, and Open MPI does just
| > like others do.  IIRC it does so upstream too.
| 
| Sure. That common root dir is called /usr - and often used as a prefix for 
| installations.

Thanks for coming in late and missing what the discussion was about. You made
sure that I'll be just that much more likely to just plain skip posts of
yours in the futures.

| /Sune
|  - who thinks it is the duty of the maintainer to fix upstream crappyness - 
| especially fhs stuff.

Go outside and get some fresh air. Or catch some sleep. Or do both.

Dirk, now truly done with this thread.

-- 
Three out of two people have difficulties with fractions.






More information about the Pkg-openmpi-maintainers mailing list