From 1f5f3422954e8503f470fd3f958e6f7a8e6ade62 Mon Sep 17 00:00:00 2001 From: Kevin Bortis 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 5d3d805..95d6536 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