sudo: required

language: c

addons:
  apt:
    packages:
      - libgmp-dev

env:
  - STACK_YAML=stack.yaml

install:
  - 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'
  - stack --version
  - stack setup --no-terminal

script:
  - stack test --ghc-options=-Werror --no-terminal

cache:
  directories:
    - $HOME/.stack