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

Debugging travis build.

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

1
.travis.yml
View file

@ -9,6 +9,7 @@ cache:
timeout: 1500
directories:
- out/
- lua_modules/
- $HOME/.stack
- $HOME/.agda
- $HOME/.local

2
Makefile
View file

@ -222,7 +222,7 @@ lua_modules/share/lua/$(LUA_VERSION)/tinyyaml.lua:
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)/