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

Added standard library to Travis

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 01:24:42 +00:00
parent 418d2f0d94
commit 5411002ca0
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.travis.yml
View file

@ -26,6 +26,12 @@ before_install:
- cd agda-master
- stack install --stack-yaml=stack-8.2.2.yaml
- cd ..
# Download and install agda-stdlib
- travis_retry curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
- unzip -qq agda-stdlib-master.zip
- mkdir ~/.agda
- echo "standard-library" >> ~/.agda/defaults
- echo "$TRAVIS_BUILD_DIR/agda-stdlib-master/standard-library.agda-lib" >> ~/.agda/libraries
# 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