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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#54468: closed ([PATCH] gnu: isl: Update to 0.24)
Date: Sat, 19 Mar 2022 21:50:01 +0000

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

Your message dated Sat, 19 Mar 2022 22:49:17 +0100
with message-id <87bky1mx42.fsf_-_ <at> gnu.org>
and subject line Re: bug#54468: [PATCH] gnu: isl: Update to 0.24
has caused the debbugs.gnu.org bug report #54468,
regarding [PATCH] gnu: isl: Update to 0.24
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
54468: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54468
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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 3 (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 5 (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 part 7 (message/rfc822, inline)]

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.