On Sat, Jul 19, 2008 at 6:55 PM, Ólafur Jens Sigurðsson <[EMAIL PROTECTED]> wrote: > On Sat, Jul 19, 2008 at 05:50:31PM +0200, Ondrej Certik wrote: > >> Please read the bug I sent the link to, it was discussed in there. >> It's an openmpi's problem. > > Well, they don't seem to see it as a problem. They say that all the > mpi's have to live together so each of them have a subdirectory in > /usr/include and its up to the user to choose with one to use. But > that has nothing to do with alternatives. Perhaps we should get the > openmpi people to put the alternative to their version and get the > other mpi packages to not set the alternative?
I don't know exactly where the problem is, but I thing openmpi manages the alternatives. Only it fails sometimes. Feel free to help the openmpi maintainers to fix the package, I think it would be very useful to make this more robust. Ondrej
