@@ -0,0 +1,30 @@
1+# Use new container infrastructure to enable caching
4+# Do not choose a language; we provide our own build tools.
7+# Caching so the next build will be fast too.
12+# Ensure necessary system libraries are present
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'
26+- stack --no-terminal --install-ghc build --only-dependencies
29+# Build the package, its tests, and its docs and run the tests
30+- stack --no-terminal test --haddock --no-haddock-deps