From ba3acbd97ccc4336950f0d2c1af7df50505108f2 Mon Sep 17 00:00:00 2001 From: alex14fr Date: Thu, 23 Jun 2022 00:46:05 +0200 Subject: [PATCH] Update Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 09f8c2d..ce85685 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