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

Travis: Fixing minor errors through many commits

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 11:22:02 +00:00
parent 0bb07834c1
commit 967464906f
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.travis.yml
View file

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

8
Makefile
View file

@ -36,13 +36,13 @@ endif
rmdir out/
setup:\
$(HOME)/agda/\
$(HOME)/agda-master/\
$(HOME)/agda-stdlib-master/\
$(HOME)/agda2html/
$(HOME)/agda2html-master/
.phony: setup
$(HOME)/agda/:
$(HOME)/agda-master/:
curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip
unzip -qq $(HOME)/agda-master.zip -d $(HOME)
cd $(HOME)/agda-master;\
@ -55,7 +55,7 @@ $(HOME)/agda-stdlib-master/:
echo "standard-library" > $(HOME)/.agda/defaults
echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries
$(HOME)/agda2html/:
$(HOME)/agda2html-master/:
curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
unzip -qq $(HOME)/agda2html-master.zip -d $(HOME)
cd $(HOME)/agda2html-master;\