forked from SRI-CSL/libpoly
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
49 lines (42 loc) · 1.13 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
language: c
notifications:
slack: sriformalmethods:1DWq3BI30wLc3ZAc3Fc37n6x
os:
- linux
- osx
compiler:
- clang
- gcc
addons:
apt:
packages:
- cmake
- libgmp-dev
- make
homebrew:
packages:
- cmake
- gmp
- pyenv
env:
matrix:
# iam: the precise versions are need, so we know whether we have to install
# or just choose. I picked these, because only 2.7.15 and 3.6.7 needs to be built (on osx).
# the linux image has these versions already.
# iam: i remove the 2.7.15 because its no longer a going concern.
# - CMAKE_BUILD_TYPE=Debug PYTHON=2.7.15
- CMAKE_BUILD_TYPE=Debug PYTHON=3.6.7
# - CMAKE_BUILD_TYPE=Release PYTHON=2.7.15
- CMAKE_BUILD_TYPE=Release PYTHON=3.6.7
install:
- if [ "$TRAVIS_OS_NAME" = "linux" ]; then ./scripts/ubuntu.deps.sh; fi
- if [ "$TRAVIS_OS_NAME" = "osx" ]; then ./scripts/osx.deps.sh; fi
script:
# iam: need to make sure the shims intercept (osx is the culprit here)
- source ${HOME}/.bash_profile;
- mkdir -p build
- cd build
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ..
- make
- make check
- make test