diff options
| author | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
|---|---|---|
| committer | Timotej Kapus <k.apus@hotmail.com> | 2015-06-16 18:14:58 +0100 |
| commit | 7844d5f9b9057197b7392efca46ed79c82e66dc5 (patch) | |
| tree | 24c2a575e3b7f9b4cba4a900eea20805ce6687c1 /.travis | |
| parent | c6d650e995058b6a5b9579fdd417984a984bad23 (diff) | |
| download | klee-7844d5f9b9057197b7392efca46ed79c82e66dc5.tar.gz | |
added COVERAGE=0 to dockerfile, factored out coverage build flags to be only set when COVERAGE is, added the python server script to scripts
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/klee.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index 9aa6b1af..3008c7fb 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -39,6 +39,10 @@ else KLEE_UCLIBC_CONFIGURE_OPTION="" fi +COVERAGE_FLAGS="" +if [ ${COVERAGE} -eq 1 ]; then + COVERAGE_FLAGS='-fprofile-arcs -ftest-coverage' +fi ############################################################################### # KLEE ############################################################################### @@ -55,7 +59,7 @@ ${KLEE_SRC}/configure --with-llvmsrc=/usr/lib/llvm-${LLVM_VERSION}/build \ --with-llvmcxx=${KLEE_CXX} \ --with-stp="${BUILD_DIR}/stp/build" \ ${KLEE_UCLIBC_CONFIGURE_OPTION} \ - CXXFLAGS="-fprofile-arcs -ftest-coverage" \ + CXXFLAGS="${COVERAGE_FLAGS}" \ && make DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \ ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \ ENABLE_SHARED=0 @@ -99,7 +103,7 @@ RETURN="${RETURN}$?" if [ ${COVERAGE} -eq 1 ]; then #get zcov that works with gcov v4.8 - git clone https://github.com/kren1/zcov.git + git clone https://github.com/ddunbar/zcov.git cd zcov sudo python setup.py install sudo mkdir /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/js |