Luarocks install local
This commit is contained in:
parent
6edc6e5b85
commit
2f8418a8c2
2 changed files with 4 additions and 7 deletions
|
@ -12,6 +12,7 @@ cache:
|
||||||
- $HOME/.stack
|
- $HOME/.stack
|
||||||
- $HOME/.agda
|
- $HOME/.agda
|
||||||
- $HOME/.local
|
- $HOME/.local
|
||||||
|
- $HOME/.luarocks
|
||||||
- $HOME/agda-$AGDA_VERSION
|
- $HOME/agda-$AGDA_VERSION
|
||||||
- $HOME/agda-stdlib-$AGDA_STDLIB_VERSION
|
- $HOME/agda-stdlib-$AGDA_STDLIB_VERSION
|
||||||
- $HOME/acknowledgements-master
|
- $HOME/acknowledgements-master
|
||||||
|
|
10
Makefile
10
Makefile
|
@ -29,10 +29,6 @@ test-stable-offline: $(MARKDOWN)
|
||||||
ruby -S bundle exec htmlproofer '_site' --disable-external
|
ruby -S bundle exec htmlproofer '_site' --disable-external
|
||||||
|
|
||||||
|
|
||||||
statistics:
|
|
||||||
hs/agda-count
|
|
||||||
|
|
||||||
|
|
||||||
out/:
|
out/:
|
||||||
mkdir -p out/
|
mkdir -p out/
|
||||||
|
|
||||||
|
@ -211,15 +207,15 @@ $(HOME)/.local/bin/agda:
|
||||||
stack install --stack-yaml=stack-8.0.2.yaml
|
stack install --stack-yaml=stack-8.0.2.yaml
|
||||||
|
|
||||||
$(HOME)/.local/share/lua/5.1/tinyyaml.lua:
|
$(HOME)/.local/share/lua/5.1/tinyyaml.lua:
|
||||||
luarocks install lua-tinyyaml
|
luarocks install --local lua-tinyyaml
|
||||||
|
|
||||||
$(HOME)/.local/share/lua/5.1/liquid.lua:
|
$(HOME)/.local/share/lua/5.1/liquid.lua:
|
||||||
luarocks install liquid
|
luarocks install --local liquid
|
||||||
|
|
||||||
$(HOME)/.local/share/lua/5.1/cjson:
|
$(HOME)/.local/share/lua/5.1/cjson:
|
||||||
# Only this particular version works:
|
# Only this particular version works:
|
||||||
# https://github.com/mpx/lua-cjson/issues/56:
|
# https://github.com/mpx/lua-cjson/issues/56:
|
||||||
luarocks install lua-cjson 2.1.0-1
|
luarocks install --local lua-cjson 2.1.0-1
|
||||||
|
|
||||||
travis-uninstall-agda:
|
travis-uninstall-agda:
|
||||||
rm -rf $(HOME)/agda-$(AGDA_VERSION)/
|
rm -rf $(HOME)/agda-$(AGDA_VERSION)/
|
||||||
|
|
Loading…
Reference in a new issue