.travis.yml

language: haskell

sudo: false

cache:
  directories:
  - $HOME/.cabal
  - $HOME/.local

before_install:
  - export PATH="$HOME/.local/bin:$HOME/.cabal/bin:$PATH"
  - which pygmentize || which pip
  - which pygmentize || pip install --upgrade pip --user
  - which pygmentize || pip install Pygments --user
  - which pygmentize
  - which agda || cabal update
  - which agda || cabal install happy 'alex >=3.1.0 && <3.2' 'cpphs >=1.19 && <1.20'
  - which agda || cabal install Agda-2.4.2.5
  - which agda
  - agda --version
  - make dependencies WGET="./etc/ci/wget_retry.sh"
  - git config --global user.email "Travis-CI-Bot@travis.fake"
  - git config --global user.name "Travis CI Bot"

addons:
  apt:
    packages:
    - texlive
    - wget
    - curl
    - sed
    - grep
    - python-pip

env:
 global:
   - secure: "wDZ61fCMj5qDaQzPiopWnd9V94sIj8zksRHaKz7YROam1OpU9P0LBzV/pPwf9Ghp0OCMzXqcMjTcOOO62ynqPZQXTb4aa+DBha8Pwm800fXn9WfZfIG3B9uS9wPFVKmyIEnn7HHny+dr3Z6r5fz4sUprSs0RqChYqK97Hf2HtB80VSOAetvQdHQIf0OVmze+4GZvM8JDiQ9YyMLlt8HJL86+cQsZfoPcmWmW8mphvHTXCMZhXB3xPvN6AFsYDf4Dspxqu67b+ZPUNntntkdeUON1c2ohh2zI8PshcGg3NvSvXDAovkxkbVFv9Xb6dX09mX9tmKizgQjHg9sR5jgLV72ScZxDxiOK1h3Al4Bk7xTTf0Eay3y2gQ1oO+qDuCDmJs872IEuOAluj9YfZUlqGrfZNMnHgQSwU8T/p2aH9ufFIwsPth4dCCTLw/+Y6pDUKtz4Sc75YkhxH8LKnS4VOazztoiSGPmVZ/8/EXoJt/vApxuGNPIL3TXrjbk5Us1/RI/FZV2lLIbYxIYLQ/OUkshr0XV4a985p9bPKhXoHS8C9v4tex5DXj2YWYU5ebQc2+5kbUy8SVU2LDs6D6zoZD4OD16H7ls/Q1l6YgjGprvoOJu5NLdhGqw/MxMZ3NdPYwXeywUvfh41Zh2e05bm7HIbGqUXKEU5AREMcVLdE5I="

 matrix:
   - UPDATE_NIGHTLIES="yes"  EXTRA_TARGETS=""
   - UPDATE_NIGHTLIES=""     EXTRA_TARGETS="dist-check"

install:
  - /bin/true

script: make OTHERFLAGS="-interaction=nonstopmode" WGET="$(pwd)/etc/ci/wget_retry.sh" all $EXTRA_TARGETS

after_script:
 - etc/ci/update_nightlies.sh