emscripten script lua mirror

instead-hub · Dec 9, 2023 · 82f674b · 82f674b
1 parent 5486f95
commit 82f674b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/emscripten.yml b/.github/workflows/emscripten.yml
@@ -24,7 +24,7 @@ jobs:
       - name: Install Packages
         run: |
           sudo apt-get update -qq
-          sudo apt-get install -y git python3
+          sudo apt-get install -y git
 
       - if: ${{ steps.cache-emsdk.outputs.cache-hit != 'true' }}
         name: Prep

diff --git a/contrib/instead-em-build.sh b/contrib/instead-em-build.sh
@@ -44,7 +44,7 @@ deps()
 cd $WORKSPACE
 if ! test -r .stamp_lua; then
 rm -rf lua-5.1.5
-[ -f lua-5.1.5.tar.gz ] || wget -nv 'https://www.lua.org/ftp/lua-5.1.5.tar.gz'
+[ -f lua-5.1.5.tar.gz ] || wget -nv 'https://www.lua.org/ftp/lua-5.1.5.tar.gz' || wget -nv 'https://www.tecgraf.puc-rio.br/lua/mirror/ftp/lua-5.1.5.tar.gz'
 tar xf lua-5.1.5.tar.gz
 cd lua-5.1.5
 cat src/luaconf.h | sed -e 's/#define LUA_USE_POPEN//g' -e 's/#define LUA_USE_ULONGJMP//g'>src/luaconf.h.new