[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54609: closed ('guix refresh openmpi' no longer works)
From: |
GNU bug Tracking System |
Subject: |
bug#54609: closed ('guix refresh openmpi' no longer works) |
Date: |
Mon, 11 Apr 2022 20:39:02 +0000 |
Your message dated Mon, 11 Apr 2022 22:37:58 +0200
with message-id <87wnfvfja1.fsf@gnu.org>
and subject line Re: bug#54609: 'guix refresh openmpi' no longer works
has caused the debbugs.gnu.org bug report #54609,
regarding 'guix refresh openmpi' no longer works
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)
--
54609: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54609
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message ---
Subject: |
|
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.
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#54609: 'guix refresh openmpi' no longer works |
Date: |
Mon, 11 Apr 2022 22:37:58 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Philippe SWARTVAGHER <philippe.swartvagher@inria.fr> skribis:
> `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
Fixed in 2c73e654fe1b39f8cec6082a068a435ca2b7cfd1 by Attila, from
<https://issues.guix.gnu.org/54836>.
Ludo’.
--- End Message ---
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#54609: closed ('guix refresh openmpi' no longer works),
GNU bug Tracking System <=