.travis.yml

language: generic

dist: trusty

git:
  depth: 3

cache:
  directories:
  - $HOME/.stack
  - $HOME/agdai-backup

env:
  - INDEX=index1.agda
  - INDEX="index2stage1.agda index2stage2.agda"
  - INDEX=index3.agda

addons:
  apt:
    sources:
    - fpcomplete-trusty
    packages:
    - moreutils # this old version does not supports [ts -i] or [ts -s]
    - stack

before_install:
- export TIMEOUT_THRESHOLD=46
- export TRAVIS_WAIT_LIMIT=47
- travis-script/restore-agdai.sh

install:
- |
  if [ "${SECONDS}" -ge "$((TIMEOUT_THRESHOLD*60))" ]; then
    false;
  else
    travis_wait "$(((TRAVIS_WAIT_LIMIT*60-SECONDS)/60))" stack --no-terminal --install-ghc --resolver lts-9 install Agda;
  fi
- stack exec agda -- --version

script:
- |
  if [ "${SECONDS}" -ge "$((TIMEOUT_THRESHOLD*60))" ]; then
    false;
  else
    travis_wait "$(((TRAVIS_WAIT_LIMIT*60-SECONDS)/60))" travis-script/check.sh core/HoTT.agda;
  fi
- |
  PREMATURE_ERROR=0;
  for file in ${INDEX}; do
    if [ "${SECONDS}" -ge "$((TIMEOUT_THRESHOLD*60))" ]; then
      PREMATURE_ERROR=1; break;
    else
      travis_wait "$(((TRAVIS_WAIT_LIMIT*60-SECONDS)/60))" travis-script/check.sh "theorems/${file}" || PREMATURE_ERROR=1;
    fi;
  done;
  if [ "${PREMATURE_ERROR}" == "1" ]; then false; fi

before_cache:
- travis-script/backup-agdai.sh