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

Travis: Now also caching the build directories

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 10:39:34 +00:00
parent ecb1a30f3a
commit 78e4d54a9a
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
2 changed files with 12 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -10,7 +10,9 @@ cache:
- $HOME/.stack - $HOME/.stack
- $HOME/.agda - $HOME/.agda
- $HOME/.local - $HOME/.local
- $HOME/agda
- $HOME/agda-stdlib-master - $HOME/agda-stdlib-master
- $HOME/agda2html
# Ensure necessary system libraries are present # Ensure necessary system libraries are present
addons: addons:

20
Makefile
View file

@ -36,27 +36,27 @@ endif
rmdir out/ rmdir out/
setup:\ setup:\
$(HOME)/.local/bin/agda\ $(HOME)/agda/\
$(HOME)/.local/bin/agda2html\ $(HOME)/agda-stdlib-master/\
$(HOME)/agda-stdlib-master/ $(HOME)/agda2html/
.phony: setup .phony: setup
$(HOME)/.local/bin/agda: $(HOME)/agda/:
curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip
unzip -qq $(HOME)/agda-master.zip unzip -qq $(HOME)/agda-master.zip
cd $(HOME)/agda-master;\ cd $(HOME)/agda-master;\
stack install --stack-yaml=stack-8.2.2.yaml stack install --stack-yaml=stack-8.2.2.yaml
$(HOME)/.local/bin/agda2html:
curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
unzip -qq $(HOME)/agda2html-master.zip
cd $(HOME)/agda2html-master;\
stack install
$(HOME)/agda-stdlib-master/: $(HOME)/agda-stdlib-master/:
curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o $(HOME)/agda-stdlib-master.zip curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o $(HOME)/agda-stdlib-master.zip
unzip -qq $(HOME)/agda-stdlib-master.zip -d $(HOME) unzip -qq $(HOME)/agda-stdlib-master.zip -d $(HOME)
mkdir $(HOME)/.agda mkdir $(HOME)/.agda
echo "standard-library" > $(HOME)/.agda/defaults echo "standard-library" > $(HOME)/.agda/defaults
echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries
$(HOME)/agda2html/:
curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
unzip -qq $(HOME)/agda2html-master.zip
cd $(HOME)/agda2html-master;\
stack install