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

[Dirk Eddelbuettel]

On 13 February 2008 at 22:45, Ondrej Certik wrote:
| > | 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

Oh, I think I finally get it.  And you are right:

ron:/usr/lib/openmpi/lib# ls -l
total 1596
lrwxrwxrwx 1 root root     25 Feb 13 22:54 libmca_common_sm.so -> libmca_common_sm.so.0.0.0
-rw-r--r-- 1 root root   6056 Jan 10 01:40 libmca_common_sm.so.0.0.0
lrwxrwxrwx 1 root root     15 Feb 13 22:54 libmpi.so -> libmpi.so.0.0.0
-rw-r--r-- 1 root root 517820 Jan 10 01:40 libmpi.so.0.0.0
lrwxrwxrwx 1 root root     19 Feb 13 22:54 libmpi_cxx.so -> libmpi_cxx.so.0.0.0
-rw-r--r-- 1 root root 115152 Jan 10 01:40 libmpi_cxx.so.0.0.0
lrwxrwxrwx 1 root root     19 Feb 13 22:54 libmpi_f77.so -> libmpi_f77.so.0.0.0
-rw-r--r-- 1 root root 179060 Jan 10 01:40 libmpi_f77.so.0.0.0
lrwxrwxrwx 1 root root     19 Feb 13 22:54 libmpi_f90.so -> libmpi_f90.so.0.0.0
-rw-r--r-- 1 root root   7936 Jan 10 01:40 libmpi_f90.so.0.0.0
lrwxrwxrwx 1 root root     20 Feb 13 22:54 libopen-pal.so -> libopen-pal.so.0.0.0
-rw-r--r-- 1 root root 218924 Jan 10 01:40 libopen-pal.so.0.0.0
lrwxrwxrwx 1 root root     20 Feb 13 22:54 libopen-rte.so -> libopen-rte.so.0.0.0
-rw-r--r-- 1 root root 335068 Jan 10 01:40 libopen-rte.so.0.0.0
-rw-r--r-- 1 root root 210849 Jan 10 01:40 mpi.mod
drwxr-xr-x 2 root root   4096 Feb 13 22:54 openmpi
ron:/usr/lib/openmpi/lib# ls -l /etc/alternatives/libmpi*
lrwxrwxrwx 1 root root 36 Feb 13 22:54 /etc/alternatives/libmpi++.so -> /usr/lib/openmpi/lib/libmpi_cxx.so.0
lrwxrwxrwx 1 root root 32 Feb 13 22:54 /etc/alternatives/libmpi.so -> /usr/lib/openmpi/lib/libmpi.so.0
ron:/usr/lib/openmpi/lib# ls -l libmpi.so.0
ls: cannot access libmpi.so.0: No such file or directory
ron:/usr/lib/openmpi/lib# 

The link from /etc/alternative/libmpi.so point to a .0 we do not have.

So Manuel, could it be that the third line here

update-alternatives \
	--install /usr/include/mpi mpi /usr/lib/openmpi/include 5 \
	--slave /usr/lib/libmpi.so libmpi.so /usr/lib/openmpi/lib/libmpi.so.0 \

needs a fix to 

	--slave /usr/lib/libmpi.so libmpi.so /usr/lib/openmpi/lib/libmpi.so \

? 

Thanks for your patience, Ondrej. I think we're all on the same page now.

Dirk

| 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

-- 
Three out of two people have difficulties with fractions.