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

Separate out installs in .travis.yaml

Browse source
This commit is contained in:
Wen Kokke 2020-07-19 19:46:26 +01:00
parent 0615638d66
commit 48c2298104
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.travis.yml
View file

@ -35,7 +35,10 @@ before_install:
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
# Install Pandoc:
- travis_retry curl -L https://github.com/jgm/pandoc/releases/download/2.9.2.1/pandoc-2.9.2.1-1-amd64.deb -o $HOME/pandoc.deb && sudo dpkg -i $HOME/pandoc.deb
# Install agda, agda-stdlib, and agda2html:
# Install agda, agda-stdlib, and acknowledgements:
- make travis-install-agda
- make travis-install-agda-stdlib
- make travis-install-acknowledgements
- make travis-setup
script: