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

Fixed .travis.yml

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 00:58:23 +00:00
parent 14532321f8
commit 418d2f0d94
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
.travis.yml
View file

@ -21,9 +21,17 @@ before_install:
- export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
# Download and install agda
- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip; unzip -qq agda-master.zip; cd agda-master; stack install --stack-yaml=stack-8.2.2.yaml
- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip
- unzip -qq agda-master.zip
- cd agda-master
- stack install --stack-yaml=stack-8.2.2.yaml
- cd ..
# Download and install agda2html
- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip; unzip -qq agda2html-master.zip; cd agda2html-master; stack install
- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip
- unzip -qq agda2html-master.zip
- cd agda2html-master
- stack install
- cd ..
script:
- make