@@ -0,0 +1,30 @@
1+# Use new container infrastructure to enable caching
2+sudo: false
3+
4+# Do not choose a language; we provide our own build tools.
5+language: generic
6+
7+# Caching so the next build will be fast too.
8+cache:
9+ directories:
10+ - $HOME/.stack
11+
12+# Ensure necessary system libraries are present
13+addons:
14+ apt:
15+ packages:
16+ - libgmp-dev
17+
18+before_install:
19+# Download and unpack the stack executable
20+- mkdir -p ~/.local/bin
21+- export PATH=$HOME/.local/bin:$PATH
22+- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
23+
24+install:
25+# Build dependencies
26+- stack --no-terminal --install-ghc build --only-dependencies
27+
28+script:
29+# Build the package, its tests, and its docs and run the tests
30+- stack --no-terminal test --haddock --no-haddock-deps