Added acknowledgements script.
This commit is contained in:
parent
e24f89d8bb
commit
eea8ae9aa6
2 changed files with 9 additions and 1 deletions
|
@ -15,6 +15,7 @@ cache:
|
|||
- $HOME/agda-master
|
||||
- $HOME/agda-stdlib-master
|
||||
- $HOME/agda2html-master
|
||||
- $HOME/acknowledgements-master
|
||||
|
||||
# Ensure necessary system libraries are present
|
||||
addons:
|
||||
|
|
9
Makefile
9
Makefile
|
@ -57,7 +57,8 @@ macos-setup:
|
|||
travis-setup:\
|
||||
$(HOME)/agda-master/\
|
||||
$(HOME)/agda-stdlib-master/\
|
||||
$(HOME)/agda2html-master/
|
||||
$(HOME)/agda2html-master/\
|
||||
$(HOME)/acknowledgements-master/
|
||||
|
||||
$(HOME)/agda-master/:
|
||||
curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip
|
||||
|
@ -78,6 +79,12 @@ $(HOME)/agda2html-master/:
|
|||
cd $(HOME)/agda2html-master;\
|
||||
stack install
|
||||
|
||||
$(HOME)/acknowledgements-master/:
|
||||
curl -L https://github.com/plfa/acknowledgements/archive/master.zip -o $(HOME)/acknowledgements-master.zip
|
||||
unzip -qq $(HOME)/acknowledgements-master.zip -d $(HOME)
|
||||
cd $(HOME)/acknowledgements-master;\
|
||||
stack install
|
||||
|
||||
.phony: serve build test clean clobber macos-setup travis-setup
|
||||
|
||||
# workaround for a bug in agda2html
|
||||
|
|
Loading…
Reference in a new issue