[Pkg-openmpi-maintainers] Bug#722888: libopenmpi1.6: ships incorrect symlinks /usr/lib/libmpi{, _cxx, _f90}.so.1

[Andreas Beckmann]

Package: libopenmpi1.6
Version: 1.6.5-4
Severity: serious
Control: affects -1 + octave-msh

Hi,

libopenmpi1.6 ships a few dangling symlinks in /usr/lib. While these
will be fixed by ldconfig later on, until that has happened we see
spurious errors like this:

[...]
  Setting up octave (3.6.4-4) ...
  octave: error while loading shared libraries: libmpi.so.1: cannot open shared object file: No such file or directory
  dpkg: error processing octave (--configure):
   subprocess installed post-installation script returned error exit status 127
  dpkg: dependency problems prevent configuration of octave-splines:
   octave-splines depends on octave (>= 3.6.4); however:
    Package octave is not configured yet.
  
  dpkg: error processing octave-splines (--configure):
   dependency problems - leaving unconfigured
  Processing triggers for libc-bin ...
  Errors were encountered while processing:
   octave
   octave-splines

lipopenmpi1.6 ships:

lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi.so.1 -> libmpi.so.1.0.7  *** BAD ***
lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi.so.1.0.8 -> openmpi/lib/libmpi.so.1.0.8
-rw-r--r-- root/root   1528192 2013-08-28 07:09 ./usr/lib/openmpi/lib/libmpi.so.1.0.8

lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_f77.so.1 -> libmpi_f77.so.1.0.6  *** BAD ***
lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_f77.so.1.0.7 -> openmpi/lib/libmpi_f77.so.1.0.7
-rw-r--r-- root/root    213504 2013-08-28 07:09 ./usr/lib/openmpi/lib/libmpi_f77.so.1.0.7

-rw-r--r-- root/root     18336 2013-08-28 07:09 ./usr/lib/openmpi/lib/libmpi_f90.so.1.3.0  *** OK ***
lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_f90.so.1 -> libmpi_f90.so.1.3.0
lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_f90.so.1.3.0 -> openmpi/lib/libmpi_f90.so.1.3.0

lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_cxx.so.1 -> libmpi_cxx.so.1.0.1  *** BAD ***
lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi_cxx.so.1.0.2 -> openmpi/lib/libmpi_cxx.so.1.0.2
-rw-r--r-- root/root    106048 2013-08-28 07:09 ./usr/lib/openmpi/lib/libmpi_cxx.so.1.0.2


Andreas