.travis.yml

# Use new container infrastructure to enable caching
sudo: false

# Choose a lightweight base image; we provide our own build tools.
language: c

# GHC depends on GMP. You can add other dependencies here as well.
addons:
  apt:
    packages:
    - libgmp-dev

# The different configurations we want to test. You could also do things like
# change flags or use --stack-yaml to point to a different file.
matrix:
  include:
  - env: ARGS="--resolver lts-11"
    compiler: ": # lts-11"
  - env: ARGS="--resolver lts-12"
    compiler: ": # lts-12"
  - env: ARGS="--resolver lts-14"
    compiler: ": # lts-14"
  - env: ARGS="--resolver lts-16"
    compiler: ": # lts-16"
  - env: ARGS="--resolver nightly"
    compiler: ": # nightly"
  - env: ARGS=""
    compiler: ": # Default osx"
    os: osx

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

before_install:
# Undo the side-effect of using compiler above
- unset CC

# Download and unpack the stack executable
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
- if [ `uname` = "Darwin" ];
  then
    curl --insecure -L https://www.stackage.org/stack/osx-x86_64 | tar xz --strip-components=1 --include '*/stack' -C ~/.local/bin;
  else
    curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack';
  fi

install:
- |
  set -ex
  # Add in extra-deps for older snapshots
  stack --no-terminal --install-ghc $ARGS test --bench --dry-run || ( \
        stack --no-terminal $ARGS build cabal-install && \
        stack --no-terminal $ARGS solver --update-config )

  # Build the dependencies
  stack --no-terminal --install-ghc $ARGS test --bench --only-dependencies

  set +ex

# This line does all of the work: installs GHC if necessary, build the library,
# executables, and test suites, and runs the test suites. --no-terminal works
# around some quirks in Travis's terminal implementation.
script: stack $ARGS --no-terminal --install-ghc test --haddock --no-haddock-deps

# Caching so the next build will be fast too.
cache:
  directories:
  - $HOME/.stack