[PATCH] gnu: isl: Update to 0.24

Done

Details

3 participants

Ludovic Courtès
Maxime Devos
Artyom V. Poptsov

Owner: unassigned

Submitted by: Artyom V. Poptsov

Severity: normal

Artyom V. Poptsov wrote 3 years ago

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

Maxime Devos wrote 3 years ago

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

Ludovic Courtès wrote 3 years ago

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 an email to 54468@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it

mumi current 54468

Then, you may apply the latest patchset in this issue (with sign off)

mumi am -- -s

Or, compose a reply to this issue

mumi compose

Or, send patches to this issue

mumi send-email *.patch

You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags

mumi command -t +confirmed -t +easy

Or, remove the moreinfo tag and set the help tag

mumi command -t -moreinfo -t +help