@@ -0,0 +1,30 @@
1+sudo:
2+ false
3+
4+language:
5+ c
6+
7+services:
8+ - docker
9+
10+env:
11+ - STACK_ARGS=""
12+
13+addons:
14+ apt:
15+ packages:
16+ - libgmp-dev
17+
18+before_install:
19+ - mkdir -p "$HOME"/.local/bin
20+ - export PATH=$HOME/.local/bin:$PATH
21+
22+ # install Stack
23+ - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C $HOME/.local/bin '*/stack'
24+ - export PATH=$(stack --stack-yaml stack.yaml path --local-install-root):$PATH
25+ - stack setup
26+
27+
28+script:
29+ - stack test
30+