os: | |
- linux | |
- osx | |
osx_image: xcode6.4 | |
sudo: false | |
language: c | |
addons: | |
apt: | |
packages: | |
- libgmp-dev | |
before_install: | |
- mkdir -p ~/.local/bin | |
- export PATH=$HOME/.local/bin:$PATH | |
- if [ "$TRAVIS_OS_NAME" == "linux" ]; then curl -sSL -o stack.tgz https://www.stackage.org/stack/linux-x86_64-static; fi | |
- if [ "$TRAVIS_OS_NAME" == "osx" ]; then curl -sSL -o stack.tgz https://www.stackage.org/stack/osx-x86_64; fi | |
- tar xvfz stack.tgz | |
- cp stack-*/stack ~/.local/bin | |
script: | |
- stack setup | |
- make htest |