diff options
Diffstat (limited to 'tools/isl/Makefile')
| -rw-r--r-- | tools/isl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/isl/Makefile b/tools/isl/Makefile index c1000e1e31..de9051651c 100644 --- a/tools/isl/Makefile +++ b/tools/isl/Makefile @@ -9,7 +9,7 @@ include $(TOPDIR)/rules.mk PKG_NAME:=isl PKG_VERSION:=0.20 -PKG_SOURCE_URL:=http://isl.gforge.inria.fr +PKG_SOURCE_URL:=https://libisl.sourceforge.io/ PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz PKG_HASH:=a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa |