forked from vmware/differential-datalog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
69 lines (57 loc) · 1.64 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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
# This is the simple Travis configuration, which is intended for use
# on applications which do not require cross-platform and
# multiple-GHC-version support. For more information and other
# options, see:
#
# https://docs.haskellstack.org/en/stable/travis_ci/
#
# Copy these contents into the root directory of your Github project in a file
# named .travis.yml
# Use new container infrastructure to enable caching
sudo: required
dist: trusty
# Do not choose a language; we provide our own build tools.
language: rust
# Caching so the next build will be fast too.
cache:
directories:
- $HOME/.ghc
- $HOME/.cabal
- $HOME/.stack
- $HOME/.cargo
- .stack-work
env:
- TEST_SUITE='-p souffle'
- TEST_SUITE='-p tutorial'
- TEST_SUITE='-p simple'
- TEST_SUITE='-p path'
- TEST_SUITE='-p ovn'
- TEST_SUITE='-p modules'
addons: {apt: {packages: [ghc-8.2.2], sources: [hvr-ghc]}}
os:
- osx
- linux
matrix:
fast_finish: true
# Ensure necessary system libraries are present
addons:
apt:
packages:
- libgmp-dev
before_install:
# Download and unpack the stack executable
- pip install --user parglare
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
- ./.travis/install-stack.sh
install:
# Build dependencies
- stack --no-terminal --install-ghc test --only-dependencies
script:
# Build the package, its tests, and its docs and run the tests
#- DDLOG_TEST_PROGRESS=1 stack --no-terminal test --haddock --no-haddock-deps
- DDLOG_TEST_PROGRESS=1 stack --no-terminal test --ta "$TEST_SUITE" --haddock --no-haddock-deps
after_success:
- |
# Build and ship binary
./.travis/attach-binary.sh