GNU bug report logs - #54468
[PATCH] gnu: isl: Update to 0.24

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 54468 in the body.
You can then email your comments to 54468 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: isl: Update to 0.24
Date: Sat, 19 Mar 2022 23:50:29 +0300

[Message part 1 (text/plain, inline)]

This patch updates Integer Set Library (ISL) [1] to 0.24.

The previous version (0.23) seems to be not present in the repositories
anymore:

--8<---------------cut here---------------start------------->8---
$  guix build isl
substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'...   0.0%guix substitute: warning: 4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion: connection failed: Connection refused
substitute: 
substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'...   0.0%guix substitute: warning: bordeaux.guix.gnu.org: connection failed: Connection refused
substitute: 
The following derivations will be built:
  /gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv
  /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv
substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'...   0.0%
substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'...   0.0%
substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'...   0.0%
substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'...   0.0%
building /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv...

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From http://isl.gforge.inria.fr/isl-0.23.tar.bz2...
In procedure connect*: Connection refused

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://ftp.nluug.nl/mirror/languages/gcc/infrastructure/isl-0.23.tar.bz2...
Throw to key `ftp-error' with args `(#<input-output: socket 13> "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'.

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://ftp.fu-berlin.de/unix/languages/gcc/infrastructure/isl-0.23.tar.bz2...
Throw to key `ftp-error' with args `(#<input-output: socket 15> "RETR isl-0.23.tar.bz2" 550 "isl-0.23.tar.bz2: No such file or directory\r")'.

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/infrastructure/isl-0.23.tar.bz2...
Throw to key `ftp-error' with args `(#<input-output: socket 17> "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'.

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.23.tar.bz2...
Throw to key `ftp-error' with args `(#<input-output: socket 19> "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'.

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From https://ftpmirror.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2...
In procedure connect*: Connection refused

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://ftp.cs.tu-berlin.de/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2...
In procedure getaddrinfo: Name or service not known

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2...
Throw to key `ftp-error' with args `(#<input-output: socket 21> "CWD infrastructure" 550 "Can't change directory to infrastructure: No such file or directory\r")'.

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From http://ftp.gnu.org/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2...
In procedure connect*: Connection refused

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From https://ci.guix.gnu.org/file/isl-0.23.tar.bz2/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5...
In procedure connect*: Connection refused

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From https://tarballs.nixos.org/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5...
In procedure connect*: Connection refused

Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2
From https://archive.softwareheritage.org/api/1/content/sha256:c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d/raw/...
In procedure connect*: Connection refused
failed to download "/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2" from ("http://isl.gforge.inria.fr/isl-0.23.tar.bz2" "mirror://gcc/infrastructure/isl-0.23.tar.bz2")
builder for `/gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv' failed to produce output path `/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2'
build of /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv failed
View build log at '/var/log/guix/drvs/8y/85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv.bz2'.
cannot build derivation `/gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv': 1 dependencies couldn't be built
guix build: error: build of `/gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv' failed
--8<---------------cut here---------------end--------------->8---

Thanks,

- Artyom

References:
1: https://libisl.sourceforge.io/

[0001-gnu-isl-Update-to-0.24.patch (text/x-diff, attachment)]

[Message part 3 (text/plain, inline)]

-- 
Artyom "avp" Poptsov <poptsov.artyom <at> gmail.com>
Home page: https://memory-heap.org/~avp/
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F

[signature.asc (application/pgp-signature, inline)]

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

From: Maxime Devos <maximedevos <at> telenet.be>
To: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>, 54468 <at> debbugs.gnu.org
Subject: Re: [bug#54468] [PATCH] gnu: isl: Update to 0.24
Date: Sat, 19 Mar 2022 22:10:10 +0100

[Message part 1 (text/plain, inline)]

Artyom V. Poptsov schreef op za 19-03-2022 om 23:50 [+0300]:
The previous version (0.23) seems to be not present in the
repositories anymore:

For the future, perhaps we could look into saving a copy of it
somewhere, and perhaps request GCC folks to not delete old versions?

Additionally, the isl.gforge.infria.fr is offline, so it could be
removed.  Nix has found some alternative URLs:
<https://github.com/NixOS/nixpkgs/commit/53a60ad361e020275b3f50c68a7f17411e5f8fd2>,
perhaps they could be added (if they still work)?

Is the source code of the other versions of isl in Guix still
available?

Given that isl is a dependency of GCC, does this cause a world-rebuild?

Greetings,
Maxime.

[signature.asc (application/pgp-signature, inline)]

Message #13 received at 54468-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Maxime Devos <maximedevos <at> telenet.be>
Cc: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>, 54468-done <at> debbugs.gnu.org
Subject: Re: bug#54468: [PATCH] gnu: isl: Update to 0.24
Date: Sat, 19 Mar 2022 22:49:17 +0100

Hi,

Maxime Devos <maximedevos <at> telenet.be> skribis:

> Additionally, the isl.gforge.infria.fr is offline, so it could be
> removed.  Nix has found some alternative URLs:
> <https://github.com/NixOS/nixpkgs/commit/53a60ad361e020275b3f50c68a7f17411e5f8fd2>,
> perhaps they could be added (if they still work)?

Yes.  We were discussing it on IRC and I just committed a switch to the
mirror://sourceforge URL.

> Is the source code of the other versions of isl in Guix still
> available?

Yes.

Note that it’s a tar.bz2 file, which Disarchive cannot handle yet, so at
this point we have nothing but the usual mirrors (including the
content-addressed mirror at ci.guix).

> Given that isl is a dependency of GCC, does this cause a world-rebuild?

Yes, so I think we’ll do that in ‘core-updates’, if nothing breaks.

Thanks,
Ludo’.

Previous Next

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