@@ -0,0 +1,20 @@
1+sudo: false
2+
3+addons:
4+ apt:
5+ packages:
6+ - libgmp-dev
7+
8+# Caching so the next build will be fast too.
9+cache:
10+ directories:
11+ - $HOME/.stack
12+
13+before_install:
14+# Download and unpack the stack executable
15+- mkdir -p ~/.local/bin
16+- export PATH=$HOME/.local/bin:$PATH
17+- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
18+
19+script:
20+- stack --no-terminal --install-ghc test