Update ISL upstream download location
http://isl.gforge.inria.fr was deprecated for some time and is now down. This patch updates the download location to the new sourceforge upstream location of the ISL project.
This commit is contained in:
parent
e55fcd2d1d
commit
1f5f342295
2
Makefile
2
Makefile
|
@ -16,7 +16,7 @@ BINUTILS_SITE = $(GNU_SITE)/binutils
|
|||
GMP_SITE = $(GNU_SITE)/gmp
|
||||
MPC_SITE = $(GNU_SITE)/mpc
|
||||
MPFR_SITE = $(GNU_SITE)/mpfr
|
||||
ISL_SITE = http://isl.gforge.inria.fr/
|
||||
ISL_SITE = https://downloads.sourceforge.net/project/libisl/
|
||||
|
||||
MUSL_SITE = https://musl.libc.org/releases
|
||||
MUSL_REPO = git://git.musl-libc.org/musl
|
||||
|
|
Loading…
Reference in New Issue