language: c
dist: trusty

cache:
  directories:
    - $HOME/.stack

addons:
  apt:
    packages:
      - libgmp-dev

matrix:
  include:
    - env: ARGS="--resolver lts-12.25"
      compiler: "stack-8.4.4"

    - env: ARGS=""
      compiler: "stack-8.6.3"

    - env: ARGS="--resolver nightly"
      compiler: "stack-nightly"

  allow_failures:
    - env: ARGS="--resolver nightly"
      compiler: "stack-nightly"

before_install:
  - unset CC
  - mkdir -p ~/.local/bin
  - 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'

install:
  - stack $ARGS setup

script:
  - stack $ARGS --no-terminal test --bench --no-run-benchmarks --haddock --no-haddock-deps
  - stack $ARGS sdist