.travis.yml

# language `ghc` drags in old ghc versions
# language `generic` drags in too many others deps
# language `c` is lighter weight, and is fine since we declare most of our own deps
language: c

# sudo false would give us faster build times
# but we need sudo true if we want to use leak sanitizer on travis due to
# github.com/travis-ci/travis-ci/issues/9033
sudo: true

os:
    - linux
    - osx

# cache only works if sudo is false
# this will attempt to cache the contents of the specified directories between
# runs to speed up install times
cache:
    directories:
        - $HOME/.stack

# download and unpack the stack executable
before_install:
    - mkdir -p ~/.local/bin
    - export PATH=$HOME/.local/bin:$PATH
    - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz ; fi
    - if [[ "$TRAVIS_OS_NAME" == "osx"   ]]; then travis_retry curl -L https://www.stackage.org/stack/osx-x86_64   | tar xz ; fi
    - cp stack-*/stack ~/.local/bin/
    - chmod a+x ~/.local/bin/stack

script:
    - travis_wait stack setup --no-terminal
    - travis_wait stack build --no-terminal
    - travis_wait stack test  --no-terminal
    - travis_wait ./run_carp_tests.sh --no_sdl