Use lua from github mirror on posix as well

edo9300 · Jun 24, 2024 · b1e5689 · b1e5689
1 parent d028cb8
commit b1e5689
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/lua/premake5.lua b/lua/premake5.lua
@@ -2,7 +2,7 @@ project "lua"
 	kind "StaticLib"
 	pic "On"
 	files { "src/*.c", "src/*.h" }
-	excludes { "src/lua.c", "src/luac.c" }
+	removefiles { "src/lua.c", "src/luac.c", "src/ltests.h", "src/ltests.c", "src/onelua.c" }
 
 	filter { "files:**.c" }
 		compileas "C++"
diff --git a/scripts/install-lua.sh b/scripts/install-lua.sh
@@ -2,10 +2,11 @@
 
 set -euxo pipefail
 
-curl --retry 2 --connect-timeout 30 --location --remote-header-name --remote-name https://www.lua.org/ftp/lua-5.3.6.tar.gz || \
-curl --retry 2 --connect-timeout 30 --location --remote-header-name --remote-name https://www.tecgraf.puc-rio.br/lua/mirror/ftp/lua-5.3.6.tar.gz
-mkdir -p lua
-tar xf lua-5.3.6.tar.gz --strip-components=1 -C lua
+export LUA_VERSION=5.3.6
+curl --retry 2 --connect-timeout 30 --location https://github.com/lua/lua/archive/refs/tags/v$LUA_VERSION.tar.gz -o lua-$LUA_VERSION.tar.gz
+rm -rf lua/src
+mkdir -p lua/src
+tar xf lua-$LUA_VERSION.tar.gz --strip-components=1 -C lua/src
 cd lua
 	cat <<EOT >> src/luaconf.h