GNU bug report logs -
#54609
'guix refresh openmpi' no longer works
Previous Next
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 54609 in the body.
You can then email your comments to 54609 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#54609
; Package
guix-patches
.
(Mon, 28 Mar 2022 12:50:01 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Philippe SWARTVAGHER <philippe.swartvagher <at> inria.fr>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Mon, 28 Mar 2022 12:50:01 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
`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.
Set bug title to ''guix refresh openmpi' no longer works'.
Request was from
Ludovic Courtès <ludo <at> gnu.org>
to
control <at> debbugs.gnu.org
.
(Tue, 29 Mar 2022 09:25:02 GMT)
Full text and
rfc822 format available.
bug reassigned from package 'guix-patches' to 'guix'.
Request was from
Ludovic Courtès <ludo <at> gnu.org>
to
control <at> debbugs.gnu.org
.
(Tue, 29 Mar 2022 09:25:02 GMT)
Full text and
rfc822 format available.
Reply sent
to
Ludovic Courtès <ludo <at> gnu.org>
:
You have taken responsibility.
(Mon, 11 Apr 2022 20:39:02 GMT)
Full text and
rfc822 format available.
Notification sent
to
Philippe SWARTVAGHER <philippe.swartvagher <at> inria.fr>
:
bug acknowledged by developer.
(Mon, 11 Apr 2022 20:39:02 GMT)
Full text and
rfc822 format available.
Message #14 received at 54609-done <at> debbugs.gnu.org (full text, mbox):
Hi,
Philippe SWARTVAGHER <philippe.swartvagher <at> 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’.
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Tue, 10 May 2022 11:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 3 years and 100 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.