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

Check luarocks version. Specify lua version on rocks install.

Browse source
This commit is contained in:
Wen Kokke 2020-07-02 19:29:52 +01:00
parent 06205deaa7
commit b76a105cce
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -44,6 +44,8 @@ script:
- agda --version
- acknowledgements --version
- pandoc --version
- lua -v
- luarocks --version
- make build
- make test-offline # disable to only build cache
- make epub

6
Makefile
View file

@ -221,13 +221,13 @@ $(HOME)/.local/bin/lua:
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 --lua-version=$(LUA_VERSION) --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 --lua-version=$(LUA_VERSION) --tree=lua_modules/ lua-tinyyaml
lua_modules/share/lua/$(LUA_VERSION)/liquid.lua:
luarocks install --tree=lua_modules/ liquid
luarocks install --lua-version=$(LUA_VERSION) --tree=lua_modules/ liquid
travis-uninstall-agda:
rm -rf $(HOME)/agda-$(AGDA_VERSION)/