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

2008-02-15 Thread Manuel Prinz
Am Donnerstag, den 14.02.2008, 20:52 -0600 schrieb Dirk Eddelbuettel: > ... but the good news is that my upgrade was clean: Good to know. Thanks for the upload! > Question for Manuel: should we also symlink the fortran libs given how we do > it for the c/c++ ones? No, we shouldn't. They don't c

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

2008-02-14 Thread Dirk Eddelbuettel
... but the good news is that my upgrade was clean: [EMAIL PROTECTED]:~/src/debian/SVN/build-area> wajig install libopenmpi-dev_1.2.5-2_i386.deb libopenmpi1_1.2.5-2_i386.deb openmpi-bin_1.2.5-2_i386.deb openmpi-common_1.2.5-2_all.deb (Reading database ... 193893 files and directories currently

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

2008-02-14 Thread Dirk Eddelbuettel
I just tried this as a first attempt towards preinst: #!/bin/sh set -e for link in /etc/alternatives/libopenmpi.so /etc/alternatives/libmpi++.so do echo -n "Looking at $link: " if test -e $link then echo -n "Yes " else echo -n "No " fi if test -

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

2008-02-14 Thread Manuel Prinz
Am Donnerstag, den 14.02.2008, 07:17 -0600 schrieb Dirk Eddelbuettel: > We may need an explicit removal in .preinst for it, just in case. > > Which link was it? Which package? /etc/alternatives/libopenmpi.so from libopenmpi-dev still pointing to *.so.0. After purging and installing again, the a

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

2008-02-14 Thread Dirk Eddelbuettel
On 14 February 2008 at 13:45, Manuel Prinz wrote: | reopen 464795 = | thanks | | [ Reopening the bug with Ondrej as submitter, so we can close it in the | changelog and Ondrej gets notified when the fix is in sid. Ondrej, hope | that's OK with you! ] Sure thing! | | Sorry for jumping in a littl

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

2008-02-14 Thread Ondrej Certik
On Thu, Feb 14, 2008 at 1:45 PM, Manuel Prinz <[EMAIL PROTECTED]> wrote: > reopen 464795 = > thanks > > [ Reopening the bug with Ondrej as submitter, so we can close it in the > changelog and Ondrej gets notified when the fix is in sid. Ondrej, hope > that's OK with you! ] Sure. > Sorry for

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

2008-02-14 Thread Manuel Prinz
reopen 464795 = thanks [ Reopening the bug with Ondrej as submitter, so we can close it in the changelog and Ondrej gets notified when the fix is in sid. Ondrej, hope that's OK with you! ] Sorry for jumping in a little late, had no access to my mails yesterday... Am Mittwoch, den 13.02.2008, 16:

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

2008-02-13 Thread Ondrej Certik
> 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.

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

2008-02-13 Thread 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

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

2008-02-13 Thread 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.

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

2008-02-13 Thread Dirk Eddelbuettel
(Resending, this time with Cc to the BTS) On 13 February 2008 at 19:01, Ondrej Certik wrote: | On Feb 13, 2008 6:50 PM, Ondrej Certik <[EMAIL PROTECTED]> wrote: | > On Feb 12, 2008 5:12 AM, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: | > > | > > On 8 February 2008 at 19:22, Dirk Eddelbuettel wro

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

2008-02-13 Thread Ondrej Certik
On Feb 13, 2008 6:50 PM, Ondrej Certik <[EMAIL PROTECTED]> wrote: > On Feb 12, 2008 5:12 AM, Dirk Eddelbuettel <[EMAIL PROTECTED]> wrote: > > > > On 8 February 2008 at 19:22, Dirk Eddelbuettel wrote: > > | > > | On 9 February 2008 at 02:01, Ondrej Certik wrote: > > | | Package: libopenmpi-dev > > |

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

2008-02-13 Thread Ondrej Certik
On Feb 12, 2008 5:12 AM, Dirk Eddelbuettel <[EMAIL PROTECTED]> 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 repo

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

2008-02-08 Thread Ondrej Certik
On Feb 9, 2008 2:22 AM, Dirk Eddelbuettel <[EMAIL PROTECTED]> 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 syml

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

2008-02-08 Thread Dirk Eddelbuettel
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

Bug#464795: dead symlink in /usr/lib/libmpi.so

2008-02-08 Thread Ondrej Certik
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