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? Oli -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
