forked from usi-verification-and-security/opensmt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
69 lines (59 loc) · 1.18 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
language: cpp
#safelist of branches where travis should run
branches:
only:
- master
os:
- linux
dist: xenial
compiler:
- clang
- gcc
env:
global:
- USE_READLINE=OFF
- PACKAGE_BENCHMARKS=ON
matrix:
- CMAKE_BUILD_TYPE=Release
- CMAKE_BUILD_TYPE=Debug
matrix:
include:
- os: linux
dist: trusty
compiler: gcc
- os: linux
dist: trusty
compiler: clang
- os: linux
dist: bionic
compiler: gcc
- os: linux
dist: bionic
compiler: clang
# Commented out temporarily until we figure out Travis price plan
#- os: osx
#compiler: clang
#env: CMAKE_BUILD_TYPE=Debug
addons:
apt:
update: true
sources:
- ubuntu-toolchain-r-test
packages:
- libgmp-dev
- libedit-dev
- bison
- flex
before_install:
- if [ "$TRAVIS_OS_NAME" = "osx" ]; then
brew install bison;
export PATH="/usr/local/opt/bison/bin:$PATH";
fi
install: skip
before_script:
- export FLAGS="-Wall -Werror"
- export INSTALL=${TRAVIS_BUILD_DIR}/install
- mkdir build && mkdir ${INSTALL}
- cmake --version
script:
- ./ci/run_travis_commands.sh