@@ -0,0 +1,32 @@
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+env:
8+ - STACK_YAML=stack.yaml
9+ - STACK_YAML=ghc-802.yaml
10+ - STACK_YAML=ghc-822.yaml
11+ - STACK_YAML=ghc-843.yaml
12+
13+# Caching so the next build will be fast too.
14+cache:
15+ directories:
16+ - $HOME/.stack
17+
18+# Ensure necessary system libraries are present
19+addons:
20+ apt:
21+ packages:
22+ - libgmp-dev
23+
24+before_install:
25+# Download and unpack the stack executable
26+- mkdir -p ~/.local/bin
27+- export PATH=$HOME/.local/bin:$PATH
28+- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
29+
30+script:
31+# Build the package, its tests, and its docs and run the tests
32+- stack --no-terminal --install-ghc test --haddock --no-haddock-deps