!412 update isl download address

Merge pull request !412 from looop5/isl_r1.5
ZhuangzhuangWu · Oct 14, 2021 · f7d4974 · f7d4974
2 parents 4bdc0a5 + a5dde69
commit f7d4974
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake/external_libs/isl.cmake b/cmake/external_libs/isl.cmake
@@ -7,7 +7,7 @@ if(ENABLE_GITEE)
     set(ISL_URL "https://gitee.com/mirrors/isl/repository/archive/isl-0.22?format=tar.gz")
     set(ISL_MD5 "edff5e9d0f62446ccaeb1e746903f5c8")
 else()
-    set(ISL_URL "http://isl.gforge.inria.fr/isl-0.22.tar.gz")
+    set(ISL_URL "https://libisl.sourceforge.io/isl-0.22.tar.gz")
     set(ISL_MD5 "671d0a5e10467a5c6db0893255278845")
 endif()