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

Update Lua config

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

2
Makefile
View file

@ -214,7 +214,7 @@ $(HOME)/.local/bin/agda:
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
curl http://www.lua.org/ftp/lua-$(LUA_VERSION).$(LUA_PATCH_VERSION).tar.gz | tar xz
make linux
make INSTALL_TOP=$(HOME)/.local install