TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: isl: Get source from SourceForge.

Browse source 
Reported by Artyom V. Poptsov <poptsov.artyom@gmail.com>.

* gnu/packages/gcc.scm (isl)[home-page]: Update.
[source]: Replace gforge.inria.fr URL with mirror://sourceforge URL.
(isl-0.18)[source]: Likewise.
(isl-0.11)[source]: Likewise.
This commit is contained in:
Ludovic Courtès 2022-03-19 22:40:25 +01:00
parent 9ea6a18e99
commit 75431d509b
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 9 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
gnu/packages/gcc.scm
View file

@ -1171,12 +1171,11 @@ (define-public isl
(version "0.23")
(source (origin
(method url-fetch)
(uri (list (string-append
"http://isl.gforge.inria.fr/isl-"
version
".tar.bz2")
;; Used to be at isl.gforge.inria.fr.
(uri (list (string-append "mirror://sourceforge/libisl/isl-"
version ".tar.bz2")
(string-append %gcc-infrastructure
name "-" version ".tar.bz2")))
"isl-" version ".tar.bz2")))
(sha256
(base32
"0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5"))))
@ -1200,7 +1199,7 @@ (define-public isl
(("^old_library=.*")
"old_library=''\n"))))))))
(inputs (list gmp))
(home-page "http://isl.gforge.inria.fr/")
(home-page "https://libisl.sourceforge.io/") ;https://repo.or.cz/w/isl.git
(synopsis
"Manipulating sets and relations of integer points \
bounded by linear constraints")
@ -1221,7 +1220,7 @@ (define-public isl-0.18
(version "0.18")
(source (origin
(method url-fetch)
(uri (list (string-append "http://isl.gforge.inria.fr/isl-"
(uri (list (string-append "mirror://sourceforge/libisl/isl-"
version ".tar.bz2")
(string-append %gcc-infrastructure
"isl-" version ".tar.bz2")))
@ -1236,12 +1235,10 @@ (define-public isl-0.11
(version "0.11.1")
(source (origin
(method url-fetch)
(uri (list (string-append
"http://isl.gforge.inria.fr/isl-"
version
".tar.bz2")
(uri (list (string-append "mirror://sourceforge/libisl/isl-"
version ".tar.bz2")
(string-append %gcc-infrastructure
name "-" version ".tar.bz2")))
"isl-" version ".tar.bz2")))
(sha256
(base32
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))