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

Minor fix.

Browse source
This commit is contained in:
Wen Kokke 2020-07-02 16:15:54 +01:00
parent cfec58a2ba
commit 8f0b55b4ae
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Makefile
View file

@ -216,14 +216,13 @@ $(HOME)/.local/bin/agda:
lua_modules/share/lua/$(LUA_VERSION)/cjson:
# Only this particular version works:
# https://github.com/mpx/lua-cjson/issues/56:
luarocks install --tree lua_modules lua-cjson 2.1.0-1
luarocks install --tree lua_modules liquid
luarocks install --tree=lua_modules/ lua-cjson 2.1.0-1
lua_modules/share/lua/$(LUA_VERSION)/tinyyaml.lua:
luarocks install --tree lua_modules lua-tinyyaml
luarocks install --tree=lua_modules/ lua-tinyyaml
lua_modules/share/lua/$(LUA_VERSION)/liquid.lua:
luarocks install --tree lua_modules liquid
luarocks install --tree lua_modules/ liquid
travis-uninstall-agda:
rm -rf $(HOME)/agda-$(AGDA_VERSION)/