| Message ID | 20211021191130.42975-1-rsalvaterra@gmail.com |
|---|---|
| State | Accepted |
| Delegated to: | Rui Salvaterra |
| Headers | show |
| Series | tools/isl: update the download URL | expand |
On 10/21/21 9:11 AM, Rui Salvaterra wrote: > isl.gforge.inria.fr has been dead since early this month [1]. Switch to > libisl.sourceforge.io for the time being. > > [1] https://groups.google.com/g/isl-development/c/JGaMo2VUu_8 > > Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com> > --- Acked-by: Paul Spooren <mail@aparcar.org> > > Note: this needs to be backported to every supported OpenWrt version. > > tools/isl/Makefile | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/tools/isl/Makefile b/tools/isl/Makefile > index be372fe2a8..32c3cda9a2 100644 > --- a/tools/isl/Makefile > +++ b/tools/isl/Makefile > @@ -9,7 +9,7 @@ include $(TOPDIR)/rules.mk > PKG_NAME:=isl > PKG_VERSION:=0.24 > > -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:=043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad >
diff --git a/tools/isl/Makefile b/tools/isl/Makefile index be372fe2a8..32c3cda9a2 100644 --- a/tools/isl/Makefile +++ b/tools/isl/Makefile @@ -9,7 +9,7 @@ include $(TOPDIR)/rules.mk PKG_NAME:=isl PKG_VERSION:=0.24 -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:=043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad
isl.gforge.inria.fr has been dead since early this month [1]. Switch to libisl.sourceforge.io for the time being. [1] https://groups.google.com/g/isl-development/c/JGaMo2VUu_8 Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com> --- Note: this needs to be backported to every supported OpenWrt version. tools/isl/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)