| Message ID | 87czihsm3u.fsf@gmail.com |
|---|---|
| State | Accepted |
| Headers | show |
| Series | [bug#54468] gnu: isl: Update to 0.24 | expand |
| Context | Check | Description |
|---|---|---|
| cbaines/comparison | success | View comparision |
| cbaines/git branch | success | View Git branch |
| cbaines/applying patch | fail | View Laminar job |
| cbaines/issue | success | View issue |
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.
Hi, Maxime Devos <maximedevos@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’.
From d5841dad657e884f98e6d228a26e42aa42be5ec7 Mon Sep 17 00:00:00 2001 From: "Artyom V. Poptsov" <poptsov.artyom@gmail.com> Date: Sat, 19 Mar 2022 23:45:42 +0300 Subject: [PATCH] gnu: isl: Update to 0.24 * gnu/packages/gcc.scm (isl): Update to 0.24 --- gnu/packages/gcc.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 1f89915ac8..938d15dc2d 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -1155,7 +1155,7 @@ provides the GNU compiler for the Go programming language.")) (define-public isl (package (name "isl") - (version "0.23") + (version "0.24") (source (origin (method url-fetch) (uri (list (string-append @@ -1166,7 +1166,7 @@ provides the GNU compiler for the Go programming language.")) name "-" version ".tar.bz2"))) (sha256 (base32 - "0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5")))) + "1h25h64s3847nark86gy0mi3h0bb1fdgbmgvz66fn43ccpcqvxzw")))) (build-system gnu-build-system) (outputs '("out" "static")) (arguments -- 2.25.1
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/