nethack-gwaa-kiwi/nethack
1
0
Fork 0
Code Pull Requests Activity

default fetch-lua to https

Browse Source 
Also add an alternative fetch-lua-http target to use http (via port 80)

Resolves #1074
This commit is contained in:
nhmall
2023-07-05 19:18:48 -04:00
parent 7c26410daf
commit 2bba306348
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sys/unix/Makefile.top
View File

@@ -307,13 +307,19 @@ fetch-lua: fetch-Lua
fetch-Lua:
( mkdir -p lib && cd lib && \
curl -R -O http://www.lua.org/ftp/lua-$(LUA_VERSION).tar.gz && \
curl -R -O https://www.lua.org/ftp/lua-$(LUA_VERSION).tar.gz && \
tar zxf lua-$(LUA_VERSION).tar.gz && \
rm -f lua-$(LUA_VERSION).tar.gz )
# remove include/nhlua.h in case it was created for some other Lua version
@( if test -f include/nhlua.h ; then \
rm -f include/nhlua.h && echo 'rm include/nhlua.h' ; fi )
fetch-lua-http:
( mkdir -p lib && cd lib && \
curl -R -O http://www.lua.org/ftp/lua-$(LUA_VERSION).tar.gz && \
tar zxf lua-$(LUA_VERSION).tar.gz && \
rm -f lua-$(LUA_VERSION).tar.gz )
# 'make update' can be used to install a revised version after making
# customizations or such. Unlike 'make install', it doesn't delete everything
# from the target directory to have a clean start.