Update Makefile

The url id now dead

https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
This commit is contained in:
Userdocs 2021-10-30 21:43:26 +01:00 committed by GitHub
parent 0f22991b8d
commit 2e80d47066
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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://libisl.sourceforge.io
MUSL_SITE = https://musl.libc.org/releases
MUSL_REPO = git://git.musl-libc.org/musl