From 2bba306348e7c29f11154c7794203b212af75b5b Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Wed, 5 Jul 2023 19:18:48 -0400
Subject: [PATCH] default fetch-lua to https

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

Resolves #1074
---
 sys/unix/Makefile.top | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/sys/unix/Makefile.top b/sys/unix/Makefile.top
index 5af41190b..28397830e 100644
--- a/sys/unix/Makefile.top
+++ b/sys/unix/Makefile.top
@@ -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.