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

Travis: Fixing minor errors through marny commits

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

4
Makefile
View file

@ -44,7 +44,7 @@ setup:\
$(HOME)/agda/:
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 -d $(HOME)
cd $(HOME)/agda-master;\
stack install --stack-yaml=stack-8.2.2.yaml
@ -57,6 +57,6 @@ $(HOME)/agda-stdlib-master/:
$(HOME)/agda2html/:
curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
unzip -qq $(HOME)/agda2html-master.zip
unzip -qq $(HOME)/agda2html-master.zip -d $(HOME)
cd $(HOME)/agda2html-master;\
stack install