sudo: false

language: c

env:
  - STACK_YAML=stack.yaml
  - STACK_YAML=stack-lts-7.yaml
  - STACK_YAML=stack-lts-6.yaml


addons:
  apt:
    packages: libgmp-dev


install:
  # stack
  - mkdir -p ~/.local/bin
  - export PATH=~/.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'
  - stack --version

script:
  - stack setup --no-terminal
  - stack build --ghc-options=-Werror --no-terminal
  - stack test --ghc-options=-Werror --no-terminal --coverage
  - stack haddock --no-terminal

cache:
  directories:
    - $HOME/.stack