GNU bug report logs - #54609
'guix refresh openmpi' no longer works

Previous Next

Package: guix;

Reported by: Philippe SWARTVAGHER <philippe.swartvagher <at> inria.fr>

Date: Mon, 28 Mar 2022 12:50:01 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Philippe SWARTVAGHER <philippe.swartvagher <at> inria.fr>
To: guix-patches <at> gnu.org
Date: Mon, 28 Mar 2022 14:49:24 +0200
`git refresh openmpi` seems to be broken for this package:
./pre-inst-env guix refresh openmpi
following redirection to `https://www-lb.open-mpi.org/software/ompi/current/'...
gnu/packages/mpi.scm:194:2: warning: 'generic-html' updater failed to
determine available releases for openmpi

The URL in
```
`((release-monitoring-url
    . "https://www.open-mpi.org/software/ompi/current")))
```
redirects to a URL containing only the major and minor version, the
patch number has to be found in the content of the page. I don't know if
something has to be fixed and where (in the openmpi package, or is it a
bug from `guix refresh`?).


Regarding the update, I looked very quickly at the changelog
(https://raw.githubusercontent.com/open-mpi/ompi/v4.1.x/NEWS), and
nothing caught my attention regarding the packaging.


Tested by building intel-mpi-benchmarks against this new version of
OpenMPI, succefuly built.


Philippe.





This bug report was last modified 3 years and 101 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.