forked from seahorn/crab
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.travis.yml
84 lines (72 loc) · 2.88 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
language: cpp
cache: apt
addons:
sonarcloud:
organization: "davidfarago-github"
token: "32280fe5a7750e97e80b15b5ef4406c6a4ee035c"
cache:
directories:
- '$HOME/.sonar/cache'
env:
matrix:
# =======================================================
# RELEASE Build
# =======================================================
- CMAKE_CXX_COMPILER=g++-5
CMAKE_BUILD_TYPE=RELEASE
CONSERVE_MEMORY=ON
before_install:
- until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done
- until sudo apt-get -qq update; do echo retry; done
- until sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test; do echo retry; done
- sudo apt-add-repository --yes ppa:smspillaz/cmake-2.8.12
- sudo apt-get --yes update
- sudo apt-get install --yes cmake cmake-data
- until sudo apt-get -qq install ninja-build; do echo retry; done
- ninja --version
- until sudo apt-get -qq update; do echo retry; done
- until sudo apt-get -qq install libstdc++5; do echo retry; done
- if [[ $CMAKE_CXX_COMPILER == g++-5 ]]; then until sudo apt-get -qq install g++-5; do echo retry; done fi
install:
- sudo apt-get install --yes libgmp-dev
- sudo apt-get install --yes libmpfr-dev
# debugging:
- echo $JAVA_HOME
- sudo apt-get install oracle-java8-set-default
# alternative: openJDK
#- sudo add-apt-repository --yes ppa:openjdk-r/ppa
#- sudo apt-get update --yes
#- sudo apt-get install --yes openjdk-8-jre
# debugging:
- echo $JAVA_HOME
- export JAVA_HOME=/usr/lib/jvm/java-8-oracle
- export JRE_HOME=/usr/lib/jvm/java-8-oracle/jre
# alternative: export JAVA_HOME=$(readlink -f /usr/bin/java | sed "s:bin/java::")
# debugging:
- echo $JAVA_HOME
- wget --no-verbose --output-document=boost-trunk.tar.bz2 http://sourceforge.net/projects/boost/files/boost/1.63.0/boost_1_63_0.tar.bz2/download
- export BOOST_ROOT="$TRAVIS_BUILD_DIR/../boost-trunk"
- export CMAKE_MODULE_PATH="$BOOST_ROOT"
- mkdir -p $BOOST_ROOT
- tar jxf boost-trunk.tar.bz2 --strip-components=1 -C $BOOST_ROOT
- (cd $BOOST_ROOT; ./bootstrap.sh --with-libraries=system,program_options)
- (cd $BOOST_ROOT; ./b2 --prefix=$BOOST_ROOT -d0 install)
- cd ..
script:
- cd crab
- mkdir -p build
- cd build
- GENERATOR=-GNinja;
- /usr/bin/cmake -DBOOST_ROOT=$BOOST_ROOT -DUSE_APRON=ON -DUSE_LDD=ON -DENABLE_TESTS=ON -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} -DCMAKE_PROGRAM_PATH=/usr/bin -DCMAKE_INSTALL_PREFIX=run ../;
- /usr/bin/cmake --build . --target ldd && cmake ..
- /usr/bin/cmake --build . --target apron && cmake ..
- /usr/bin/cmake --build . --target install
- build-wrapper-linux-x86-64 --out-dir bw-output make clean all
- env CTEST_OUTPUT_ON_FAILURE=1 /usr/bin/cmake --build . --target test
- sonar-scanner
notifications:
email:
recipients:
on_success: always
on_failure: always