diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2022-02-21 20:47:53 +0100 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2022-02-21 20:47:53 +0100 |
| commit | 483e60c635b5c91fcd697006507b21ae2e881859 (patch) | |
| tree | 55d6a6a0ebb63d8071b43cd5f30d2cdd1c3401fa | |
| parent | 678370dc5c6f05c2aced1ed66ea5ebc3f289e602 (diff) | |
fixed download URL for libisl
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
| -rwxr-xr-x | deps/makedeps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/makedeps.sh b/deps/makedeps.sh index 415e6f6..0c81207 100755 --- a/deps/makedeps.sh +++ b/deps/makedeps.sh @@ -185,7 +185,7 @@ dl_and_extract_gz "${MILLER_PYTHON}" "https://www.python.org/ftp/python/2.7.18/$ #fi dl_and_extract_bz "${MINGW}" "https://downloads.sourceforge.net/project/mingw-w64/mingw-w64/mingw-w64-release/${MINGW}.tar.bz2" -dl_and_extract_gz "${ISL}" "http://isl.gforge.inria.fr/${ISL}.tar.gz" +dl_and_extract_gz "${ISL}" "https://libisl.sourceforge.io/${ISL}.tar.gz" dl_and_extract_gz "${BIN}" "https://ftp.gnu.org/gnu/binutils/${BIN}.tar.gz" dl_and_extract_gz "${GCC}" "https://ftp.gnu.org/gnu/gcc/${GCC}/${GCC}.tar.gz" dl_and_extract_gz "${MUSL}" "https://www.musl-libc.org/releases/${MUSL}.tar.gz" |