[PATCH] gnu: isl: Update to 0.24

DoneSubmitted by Artyom V. Poptsov.

Details

3 participants

Ludovic Courtès
Maxime Devos
Artyom V. Poptsov

Owner: unassigned

Severity: normal

A

A

Artyom V. Poptsov wrote on 19 Mar 21:50 +0100

Recipients:(address . guix-patches@gnu.org)

Message-ID:87czihsm3u.fsf@gmail.com

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:

Toggle snippet (69 lines)

$ 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

Thanks,

- Artyom

References:

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

From d5841dad657e884f98e6d228a26e42aa42be5ec7 Mon Sep 17 00:00:00 2001

* gnu/packages/gcc.scm (isl): Update to 0.24

---

gnu/packages/gcc.scm | 4 ++--

1 file changed, 2 insertions(+), 2 deletions(-)

Toggle diff (24 lines)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

-- 
Artyom "avp" Poptsov <poptsov.artyom@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

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEE0MLqwTMQgi2Y3rV86cWi2QiYoC8FAmI2QhUACgkQ6cWi2QiY
oC8qwgf/R77UA5bBBG0rkjtc/capMPXgK5eRn2Ma3UeR0bo5YWw+OfULIihkikEE
0BLu0mOcoSzQJ07BBBylfCyhHNtHU4zHqSkvUWqVQM5tjNXQ/tu0BfKpA5JjCF2k
SmIvR0623e5Mzb4K3c2+kZBlO2OC7TRNw3q9mFAkigAcz4bdetu4qB6KDjrghekg
yWBASzMolaWe0xnT6Ui6TRyD9n7jMOBhyS0EhxOf6tKCM5Ivg/NmS8rUN6Xq7G7a
V7cQ5XGkcYvSIVEMGliMs55KlwUO/pRU+T2Ljq2tuzrRLQ/MLPYdiCAR4hAjIPoS
XbjU1S7iLXt2YkVusBfTNHK9/znZZA==
=D5Z6
-----END PGP SIGNATURE-----

M

M

Maxime Devos wrote on 19 Mar 22:10 +0100

Recipients:

Message-ID:9ee02fce23eeccb126d3204513b8825472473ec4.camel@telenet.be

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.

-----BEGIN PGP SIGNATURE-----

iIwEABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYjZGshccbWF4aW1lZGV2

b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7glYAPiOB1wZpnsxBtm9Bl4lz+wCE7uB

H+k48wbnEi6aPYGkAP90RHhtqkLMXIhj+92P1YXXZ/7I4Sab353IbEOFeaQQAw==

=xKv+

-----END PGP SIGNATURE-----

L

L

Ludovic Courtès wrote on 19 Mar 22:49 +0100

Re: bug#54468: [PATCH] gnu: isl: Update to 0.24

Recipients:(name . Maxime Devos)(address . maximedevos@telenet.be)

Message-ID:87bky1mx42.fsf_-_@gnu.org

Hi,

Maxime Devos <maximedevos@telenet.be> skribis:

Toggle quote (5 lines)

> 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.

Toggle quote (3 lines)

> 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).

Toggle quote (2 lines)

> 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’.

Closed

?

Your comment

This issue is archived.

To comment on this conversation send email to 54468@debbugs.gnu.org