blob: 8297813da45ee154156c586edcb98a3c3dd19745 (
plain)
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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
language: cpp
cache:
- apt
- ccache
sudo: false
dist: xenial
env:
global:
- CCACHE_COMPRESS=1
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages: &common_deps
- antlr3
- cmake
- cxxtest
- junit4
- libantlr3c-dev
- libcln-dev
- libgmp-dev
- libhamcrest-java
- openjdk-8-jdk
- python3
- python3-pip
- python3-setuptools
- swig3.0
before_install:
# Clang does not play nice with ccache (at least the versions offered by
# Travis), use a workaround:
# https://github.com/travis-ci/travis-ci/issues/5383#issuecomment-224630584
- |
if [ "$TRAVIS_OS_NAME" == "linux" ] && [ "$CXX" == "clang++" ]; then
export CFLAGS="-Qunused-arguments"
export CXXFLAGS="-Qunused-arguments"
sudo ln -s $(which ccache) /usr/lib/ccache/clang
sudo ln -s $(which ccache) /usr/lib/ccache/clang++
fi
before_script:
export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64
script:
- ccache -M 1G
- ccache -z
- ${CC} --version
- ${CXX} --version
- sudo ${TRAVIS_PYTHON} -m pip install toml
- sudo ${TRAVIS_PYTHON} -m pip install Cython==0.29 --install-option="--no-cython-compile"
- |
echo "travis_fold:start:load_script"
normal="$(echo -e '\033[0m')" red="$normal$(echo -e '\033[01;31m')" green="$normal$(echo -e '\033[01;32m')"
configureCVC4() {
echo "CVC4 config - $TRAVIS_CVC4_CONFIG";
./configure.sh --name=build --prefix=$(pwd)/build/install --unit-testing $TRAVIS_CVC4_CONFIG
}
error() {
echo;
echo "${red}${1}${normal}";
echo;
exit 1;
}
makeCheck() {
(
cd build
make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED"
)
}
makeExamples() {
(
cd examples
mkdir build
cd build
cmake .. -DCMAKE_PREFIX_PATH=$(pwd)/../../build/install/lib/cmake
make -j2
ctest -j2 --output-on-failure || error "RUNNING EXAMPLES FAILED"
)
}
makeInstallCheck() {
(
cd build
make install -j2
echo -e "#include <cvc4/cvc4.h>\nint main() { CVC4::ExprManager em; return 0; }" > /tmp/test.cpp
$CXX -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4 -lcln || exit 1
# set PYTHONPATH to include the directory containing pycvc4 module
export PYTHONPATH=$PYTHONPATH:$(dirname $(find ./install/ -name "pycvc4" -type d))
if [[ "$TRAVIS_CVC4_PYTHON_BINDINGS" == "yes" ]]; then
$TRAVIS_PYTHON -c "import pycvc4" || exit 1
fi
)
}
run() {
echo "travis_fold:start:$1"
echo "Running $1"
$1 || exit 1
echo "travis_fold:end:$1"
}
[[ "$TRAVIS_CVC4_CONFIG" == *"symfpu"* ]] && CVC4_SYMFPU_BUILD="yes"
[ -n "$CVC4_SYMFPU_BUILD" ] && run contrib/get-symfpu
[ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_WITH_LFSC" ] && run contrib/get-lfsc-checker
[ -n "$TRAVIS_CVC4" ] && run configureCVC4
[ -n "$TRAVIS_CVC4" ] && run makeCheck
[ -z "$CVC4_SYMFPU_BUILD" ] && run makeInstallCheck && run makeExamples
[ -z "$TRAVIS_CVC4" ] && error "Unknown Travis-CI configuration"
echo "travis_fold:end:load_script"
- echo; echo "${green}EVERYTHING SEEMED TO PASS!${normal}"
- ccache -s
matrix:
fast_finish: true
include:
# Test with GCC
- compiler: gcc
env:
- TRAVIS_CVC4=yes
- TRAVIS_WITH_LFSC=yes
- TRAVIS_CVC4_PYTHON_BINDINGS=no
- TRAVIS_CVC4_CONFIG="production --language-bindings=java --lfsc"
- TRAVIS_PYTHON=python
- compiler: gcc
env:
- TRAVIS_CVC4=yes
- TRAVIS_WITH_LFSC=yes
- TRAVIS_CVC4_PYTHON_BINDINGS=no
- TRAVIS_CVC4_CONFIG="debug --symfpu --lfsc --no-debug-symbols"
- TRAVIS_PYTHON=python
# Test python bindings
- compiler: gcc
env:
- TRAVIS_CVC4=yes
- TRAVIS_WITH_LFSC=yes
- TRAVIS_CVC4_PYTHON_BINDINGS=yes
- TRAVIS_CVC4_CONFIG="production --python-bindings --python2"
- TRAVIS_PYTHON=python
- compiler: gcc
env:
- TRAVIS_CVC4=yes
- TRAVIS_WITH_LFSC=yes
- TRAVIS_CVC4_PYTHON_BINDINGS=yes
- TRAVIS_CVC4_CONFIG="production --python-bindings --python3"
- TRAVIS_PYTHON=python3
#
# Test with Clang
- compiler: clang
env:
- TRAVIS_CVC4=yes
- TRAVIS_WITH_LFSC=yes
- TRAVIS_CVC4_PYTHON_BINDINGS=no
- TRAVIS_CVC4_CONFIG="debug --symfpu --cln --gpl --no-debug-symbols --no-proofs"
- TRAVIS_PYTHON=python
notifications:
email:
on_success: change
on_failure: always
|