| 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; 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 |