forked from GaloisInc/reopt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
33 lines (26 loc) · 994 Bytes
/
.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
sudo: false
language: minimal
git:
submodules: false # whether to recursively clone submodules
#cache:
# directories:
# - $HOME/.stack
matrix:
include:
- env: STACK_YAML=stack-8.6.yaml
before_install:
# Changes ssh paths into http path, so that we can do a read-only clone of
# our submodules without worrying about ssh keys.
- sed -i 's/[email protected]:/https:\/\/github.com\//' .gitmodules
- git submodule update --init
# Download and unpack the stack executable
- mkdir -p $HOME/.local/bin
- export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://get.haskellstack.org/stable/linux-x86_64.tar.gz | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
install:
- travis_wait stack --no-terminal setup
# Here starts the actual work to be performed for the package under test;
# any command which exits with a non-zero exit code causes the build to fail.
script:
- stack build --ghc-options="-Wall -Werror"
- stack test --ghc-options="-Wall -Werror"