diff options
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 4 | ||||
| -rwxr-xr-x | .travis/install-tcmalloc.sh | 10 | ||||
| -rwxr-xr-x | .travis/klee.sh | 4 |
3 files changed, 14 insertions, 4 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh index 6fba5baf..13a7f140 100755 --- a/.travis/install-llvm-and-runtime-compiler.sh +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -1,10 +1,10 @@ #!/bin/bash -x set -ev -sudo apt-get install llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev +sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev if [ "${LLVM_VERSION}" != "2.9" ]; then - sudo apt-get install llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION} + sudo apt-get install -y llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION} else # Get llvm-gcc. We don't bother installing it wget http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2 diff --git a/.travis/install-tcmalloc.sh b/.travis/install-tcmalloc.sh new file mode 100755 index 00000000..8d60a997 --- /dev/null +++ b/.travis/install-tcmalloc.sh @@ -0,0 +1,10 @@ +#!/bin/bash -x +set -ev + +# Get tcmalloc release +wget https://github.com/gperftools/gperftools/releases/download/gperftools-2.4/gperftools-2.4.tar.gz +tar xfz gperftools-2.4.tar.gz +cd gperftools-2.4 +./configure --disable-dependency-tracking --disable-cpu-profiler --disable-heap-checker --disable-debugalloc --enable-minimal --prefix=/usr +make +sudo make install diff --git a/.travis/klee.sh b/.travis/klee.sh index 0f855b46..acb2a8d1 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -141,11 +141,11 @@ if [ ${COVERAGE} -eq 1 ]; then sudo cp style.css /usr/local/lib/python2.7/dist-packages/zcov-0.3.0.dev0-py2.7.egg/zcov/style.css #install zcov dependency - sudo apt-get install enscript + sudo apt-get install -y enscript #update gcov from v4.6 to v4.8. This is becauase gcda files are made for v4.8 and cause #a segmentation fault in v4.6 - sudo apt-get install ggcov + sudo apt-get install -y ggcov sudo rm /usr/bin/gcov sudo ln -s /usr/bin/gcov-4.8 /usr/bin/gcov |