From 2e80d470662fa540132dac340508b6d588bdb28a Mon Sep 17 00:00:00 2001
From: Userdocs <16525024+userdocs@users.noreply.github.com>
Date: Sat, 30 Oct 2021 21:43:26 +0100
Subject: [PATCH] Update Makefile

The url id now dead

https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4390e7f..0a4763f 100644
--- a/Makefile
+++ b/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://libisl.sourceforge.io
 
 MUSL_SITE = https://musl.libc.org/releases
 MUSL_REPO = git://git.musl-libc.org/musl