michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Install Lua 5.3

Browse source
This commit is contained in:
Wen Kokke 2020-07-02 19:12:58 +01:00
parent f510d870ff
commit 840d93deef
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Makefile
View file

@ -4,7 +4,6 @@ AGDAI := $(shell find . -type f -and \( -path '*/src/*' -or -path '*/courses/*'
LUA := $(shell find . -type f -and -path '*/epub/*' -and -name '*.lua')
MARKDOWN := $(subst courses/,out/,$(subst src/,out/,$(subst .lagda.md,.md,$(AGDA))))
PLFA_DIR := $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))
LUA_VERSION := $(lua -e "print(string.sub(_VERSION,5))")
LUA_MODULES := lua_modules/
ifneq ($(wildcard $(LUA_MODULES)),)
@ -163,6 +162,7 @@ travis-setup:\
$(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src\
$(HOME)/.agda/defaults\
$(HOME)/.agda/libraries\
$(HOME)/.local/bin/lua\
lua_modules/share/lua/$(LUA_VERSION)/cjson\
lua_modules/share/lua/$(LUA_VERSION)/tinyyaml.lua\
lua_modules/share/lua/$(LUA_VERSION)/liquid.lua\
@ -213,6 +213,11 @@ $(HOME)/.local/bin/agda:
cd $(HOME)/agda-$(AGDA_VERSION);\
stack install --stack-yaml=stack-8.0.2.yaml
$(HOME)/.local/bin/lua:
curl http://www.lua.org/ftp/lua-5.3.5.tar.gz | tar xz
make linux
make INSTALL_TOP=$(HOME)/.local install
lua_modules/share/lua/$(LUA_VERSION)/cjson:
# Only this particular version works:
# https://github.com/mpx/lua-cjson/issues/56: