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

[Ondrej Certik]

> | Please feel free to ask for more info. Are you able to reproduce it?
> | If it's a bug in update-alternatives, it may well be
> | that it happens in cowbuilder for me, but not for you. But I suggest
> | to reopen this bug until we find the real cause of the problem.
>
> Thanks for sending this.  This was what I had in mind.  Now the funny part is
> that IT WORKS on my pbuilder:

That's what I feared. :)

I noticed in your log, that you forgot to execute these lines:

root at august:/# ls -l /etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 32 Feb 13 21:38 /etc/alternatives/libmpi.so ->
/usr/lib/openmpi/lib/libmpi.so.0
root at august:/# ls -l /usr/lib/openmpi/lib/libmpi.so.0
ls: cannot access /usr/lib/openmpi/lib/libmpi.so.0: No such file or directory

Do they work for you too?

To make it clear:

/etc/alternatives/libmpi.so -> /usr/lib/openmpi/lib/libmpi.so.0

But the /usr/lib/openmpi/lib/libmpi.so.0 is broken for me. In your
output, you only tested for /usr/lib/openmpi/lib/libmpi.so, but this
works
for me too.

> Is there a chance than some of the pieces in your cowbuilder are dated or
> something similar?

I updated before doing this.

> We would now have to trek down in your cowbuilder exactly why the sequence of
> steps from the postinst does not lead to correctly set softlinks if it does

Right. It happens on all of my computers I tried that (4). So I think
it must be some systematical problem. I run the latest unstable
on all of them and regularly update.

So first I tried to find some way so that you can reproduce the
problem too. Go to some new directory and:

$ touch base.tgz
$ sudo pbuilder --create --basetgz ./base.tgz --mirror
http://ftp.cz.debian.org/debian
$ sudo pbuilder --login --basetgz ./base.tgz
# apt-get install libopenmpi-dev
# ls -l /etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 32 Feb 13 21:33 /etc/alternatives/libmpi.so ->
/usr/lib/openmpi/lib/libmpi.so.0
# ls -l /usr/lib/openmpi/lib/libmpi.so.0
ls: cannot access /usr/lib/openmpi/lib/libmpi.so.0: No such file or directory


(I think you can substitute ftp.cz.debian.org for ftp.de.debian.org,
but I didn't try this - but I doubt this could influence the result)

I am curious if it is going to work for you, then we have an
interesting problem to solve, as the above commands should be computer
&& setup independent.

> here.  Could you possibly try to execute those commands by hand? The postinst
> for package $foo is always /var/lib/dpkg/info/$foo.postinst.

You mean in pbuilder? Yes, here is the result:

root at august:/# apt-get install libopenmpi1-dev
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Couldn't find package libopenmpi1-dev
root at august:/# apt-get install libopenmpi-dev
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following extra packages will be installed:
  adduser libgfortran2 libibverbs1 libopenmpi1 openmpi-common
The following NEW packages will be installed:
  adduser libgfortran2 libibverbs1 libopenmpi-dev libopenmpi1 openmpi-common
0 upgraded, 6 newly installed, 0 to remove and 0 not upgraded.
Need to get 0B/2096kB of archives.
After this operation, 8905kB of additional disk space will be used.
Do you want to continue [Y/n]?
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously deselected package adduser.
(Reading database ... 9205 files and directories currently installed.)
Unpacking adduser (from .../archives/adduser_3.105_all.deb) ...
Selecting previously deselected package libgfortran2.
Unpacking libgfortran2 (from .../libgfortran2_4.2.3-1_amd64.deb) ...
Selecting previously deselected package libibverbs1.
Unpacking libibverbs1 (from .../libibverbs1_1.1.1-1_amd64.deb) ...
Selecting previously deselected package libopenmpi1.
Unpacking libopenmpi1 (from .../libopenmpi1_1.2.5-1_amd64.deb) ...
Selecting previously deselected package openmpi-common.
Unpacking openmpi-common (from .../openmpi-common_1.2.5-1_all.deb) ...
Selecting previously deselected package libopenmpi-dev.
Unpacking libopenmpi-dev (from .../libopenmpi-dev_1.2.5-1_amd64.deb) ...
Setting up adduser (3.105) ...
Setting up libgfortran2 (4.2.3-1) ...
Setting up libibverbs1 (1.1.1-1) ...
Setting up libopenmpi1 (1.2.5-1) ...
Setting up openmpi-common (1.2.5-1) ...
Setting up libopenmpi-dev (1.2.5-1) ...
root at august:/# ls -l /usr/lib/libop
ls: cannot access /usr/lib/libop: No such file or directory
root at august:/# ls -l /usr/lib/libmpi.so*
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so ->
/etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 15 Feb 13 21:38 /usr/lib/libmpi.so.0 -> libmpi.so.0.0.0
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so.0.0.0 ->
openmpi/lib/libmpi.so.0.0.0
root at august:/# ls -l /usr/lib/libmpi.so* /etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 32 Feb 13 21:38 /etc/alternatives/libmpi.so ->
/usr/lib/openmpi/lib/libmpi.so.0
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so ->
/etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 15 Feb 13 21:38 /usr/lib/libmpi.so.0 -> libmpi.so.0.0.0
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so.0.0.0 ->
openmpi/lib/libmpi.so.0.0.0
root at august:/# ls -l /usr/lib/libmpi.so* /etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 32 Feb 13 21:38 /etc/alternatives/libmpi.so ->
/usr/lib/openmpi/lib/libmpi.so.0
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so ->
/etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 15 Feb 13 21:38 /usr/lib/libmpi.so.0 -> libmpi.so.0.0.0
lrwxrwxrwx 1 root root 27 Feb 13 21:38 /usr/lib/libmpi.so.0.0.0 ->
openmpi/lib/libmpi.so.0.0.0
root at august:/# ls -l /etc/alternatives/libmpi.so
lrwxrwxrwx 1 root root 32 Feb 13 21:38 /etc/alternatives/libmpi.so ->
/usr/lib/openmpi/lib/libmpi.so.0
root at august:/# ls -l /usr/lib/openmpi/lib/libmpi.so.0
ls: cannot access /usr/lib/openmpi/lib/libmpi.so.0: No such file or directory



Ondrej