-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
60 lines (47 loc) · 1.01 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
# ==================================================================
# tubex-solve - travis test script
# ==================================================================
language: c++
sudo: false
addons:
apt:
sources:
- deadsnakes
- ubuntu-toolchain-r-test
- chef-current-precise
packages:
- cmake
- g++-5
sudo: required
matrix:
include:
- os: linux
compiler: g++-5
install:
- cd ..
# IBEX
- echo 'Installing IBEX...';
- git clone https://github.com/ibex-team/ibex-lib
- cd ibex-lib
- git checkout 81a0c0e930fbe158699e070fa39abc7d8082eb68
- ./waf configure --with-debug --interval-lib=gaol
- sudo ./waf install
- cd ..
# todo: use CMake to install IBEX
# Tubex
- echo 'Installing Tubex...';
- git clone https://github.com/SimonRohou/tubex-lib
- cd tubex-lib
- mkdir make
- cd make
- cmake ..
- make
- sudo make install
- cd ..
script:
- cd ../tubex-solve
- mkdir make
- cd make
- cmake -DBUILD_TESTS=ON ..
- make
- make test