forked from pysmt/pysmt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
103 lines (93 loc) · 2.44 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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
language: python
dist: trusty
git:
depth: 10
cache:
apt: true
# directories:
# - ${HOME}/.smt_solvers/btor
# - ${HOME}/.smt_solvers/bdd
# - ${HOME}/.cache/pip
# - ${HOME}/python_bindings/all
# - ${HOME}/python_bindings/msat
# - ${HOME}/python_bindings/z3
# - ${HOME}/python_bindings/cvc4
# - ${HOME}/python_bindings/yices
# - ${HOME}/python_bindings/bdd
# - ${HOME}/python_bindings/picosat
# - ${HOME}/python_bindings/btor
addons:
apt:
packages:
- python-setuptools
- python-nose
- python-pip
- python-dev
- make
- build-essential
- swig
- libgmp-dev
- autoconf
- libtool
- wget
- curl
- libboost-dev
- python3-all-dev
- libmpc-dev
python:
- 3.5
- 2.7
- pypy
# Multiple envs will cause multiple build across multiple python versions.
# We test the following:
# 1. PySMT w/o solvers
# 2. PySMT with one solver at the time
#
env:
matrix:
- PYSMT_SOLVER="all" PYSMT_GMPY="TRUE"
- PYSMT_SOLVER="all" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="None" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="msat" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="z3" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="cvc4" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="yices" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="bdd" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="picosat" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="msat_wrap" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="z3_wrap" PYSMT_GMPY="FALSE"
matrix:
fast_finish: true
exclude:
- python: pypy
env: PYSMT_SOLVER="all" PYSMT_GMPY="TRUE"
- python: pypy
env: PYSMT_SOLVER="all" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="None" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="msat" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="z3" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="cvc4" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="yices" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="bdd" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="picosat" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="msat_wrap" PYSMT_GMPY="FALSE"
- python: pypy
env: PYSMT_SOLVER="z3_wrap" PYSMT_GMPY="FALSE"
install:
- "./ci/travis_install.sh"
script:
- "./ci/travis_script.sh"
after_success:
- coveralls
#