From fa76d0d42a7e17c88c6d885abc1c77e42c63fb37 Mon Sep 17 00:00:00 2001
From: Kevin Bortis <kevin@bortis.ch>
Date: Tue, 14 Dec 2021 10:02:12 +0100
Subject: [PATCH] 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.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4390e7f..9b49465 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://downloads.sourceforge.net/project/libisl/
 
 MUSL_SITE = https://musl.libc.org/releases
 MUSL_REPO = git://git.musl-libc.org/musl