[Pkg-openmpi-maintainers] Bug#464795: Bug#464795: Bug#464795: dead symlink in /usr/lib/libmpi.so

[Ondrej Certik]

On Feb 12, 2008 5:12 AM, Dirk Eddelbuettel <edd at debian.org> wrote:
>
> On 8 February 2008 at 19:22, Dirk Eddelbuettel wrote:
> |
> | On 9 February 2008 at 02:01, Ondrej Certik wrote:
> | | Package: libopenmpi-dev
> | | Version: 1.2.5-1
> | | Severity: normal
> | |
> | | --- Please enter the report below this line. ---
> | |
> | | Hi,
> | |
> | | there seems to be a dead symlink in:
> | |
> | | $ ll /usr/lib/libmpi.so
> | | lrwxrwxrwx 1 root root 27 2008-02-09 01:56 /usr/lib/libmpi.so -> /etc/alternatives/libmpi.so
> | |
> | | It's on all of my computers. Some misconfiguration of update-alternatives on my side?
> |
> | Possibly so.  All well here:
> |
> | edd at ron:~> ls -l /usr/lib/libmpi.so /etc/alternatives/libmpi.so
> | lrwxrwxrwx 1 root root 32 2008-01-20 19:42 /etc/alternatives/libmpi.so -> /usr/lib/openmpi/lib/libmpi.so.0
> | lrwxrwxrwx 1 root root 27 2007-12-18 21:02 /usr/lib/libmpi.so -> /etc/alternatives/libmpi.so
> | edd at ron:~>
> |
> | and evidently on buildds using Open MPI.  So please demonstrate how/why a
> | stray file on your system is/was caused by Open Mpi -- else I'll have to
> | close this for lack of any discernible evidence.
>
> As you didn't report anything reproducible, I am closing this.

I did, see:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=464795#15

Maybe the message ended up in your spam folder. I think this bug is not fixed.

Ondrej