Package: openmpi-bin
Version: 1.1-2.5
Severity: important
When called, /usr/bin/mpi{cc,c++,f70,f90,CC}.openmpi die silently.
Doing an strace, this can be traced back to the fact that they
try to open a file in a directory "${prefix}/share/openmpi", which
should be "/usr/share/openmpi". Patching the binaries appropriately,
it makes them usable again.-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

