From 1299bb651b797188ff105a6dc5b5e57d77334b5c Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Fri, 1 Feb 2019 14:49:43 +0100 Subject: [PATCH] 3rdparty: add mirror for downloading lua --- 3rdparty/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/3rdparty/Makefile b/3rdparty/Makefile index d5b06e9a..b36fe31f 100644 --- a/3rdparty/Makefile +++ b/3rdparty/Makefile @@ -99,6 +99,7 @@ LUAVER=5.3.5 LUA=lua-$(LUAVER) LUAARCH=$(LUA).tar.gz LUAURL=https://www.lua.org/ftp/$(LUAARCH) +LUAURLALT=https://www.tecgraf.puc-rio.br/lua/mirror/ftp/$(LUAARCH) LUASHA256=0c2eed3f960446e1a3e4b9a1ca2f3ff893b6ce41942cf54d5dd59ab4b3b058ac # https://storage.googleapis.com/downloads.webmproject.org/releases/webp/libwebp-0.6.1.tar.gz RECOILVER=4.3.1