-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
42 lines (36 loc) · 1.12 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
sudo: false
language: c
addons:
apt:
packages:
- libgmp-dev
# Caching so the next build will be fast too.
cache:
directories:
- $HOME/.stack
- .stack-work
env:
global:
- SMT=z3
- GHC=ghc-7.10.3
before_install:
# Download and unpack the stack executable
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
- stack --no-terminal setup $GHC
- stack --no-terminal install cabal-install
- stack --no-terminal init --resolver $GHC
- stack --no-terminal update
- stack --no-terminal solver --update-config
- travis_retry curl "http://goto.ucsd.edu/~gridaphobe/$SMT" -o "${HOME}/.local/bin/$SMT"
- chmod +x "$HOME/.local/bin/$SMT"
script:
- stack --no-terminal test --haddock --no-haddock-deps
notifications:
slack:
rooms:
secure: CPaI+XVTUSM9gLQefB8zSXazawNIaUnClS7FwaujPfM37hNBm5UIoiC80KBEe0KZKBr+Gt/LWq0zv506Zl/vILuPpVmfSi2BQ8zyyKCBbUrE/E0uBTjmT7wjaITf/mn3mqiLLcHbAVXI1bn7HzVvAq4S4eIpttgCapF7pbMhZCk=
on_success: change
on_failure: always
on_start: never