git.iko.soy/typerep-map
on develop-dbg help sign in
typerep-map/.travis.yml
28 lines 916 B history raw
1# Use new container infrastructure to enable caching
2sudo: false
4# Choose a lightweight base image; we provide our own build tools.
5language: c
7# GHC depends on GMP. You can add other dependencies here as well.
8addons:
9 apt:
10 packages:
11 - libgmp-dev
13before_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'
19# This line does all of the work: installs GHC if necessary, builds the
20# library, executables, and test suites, and runs the test suites.
21# `--no-terminal works` around some quirks in Travis's terminal implementation.
22script: stack --no-terminal --install-ghc test
24# Caching so the next build will be fast too.
25cache:
26 directories:
27 - $HOME/.stack
28 - $HOME/build/vrom911/typerep-map/.stack-work