From a6a5c148b63f811a6df1e5a3eb6edd43148df510 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Tue, 23 Feb 2016 14:17:20 +0000
Subject: Update travis configuration to use tcmalloc

We have to build our own tcmalloc,
as the version provided with Ubtuntu 12.04 is too old.
---
 .travis.yml                                  |  1 +
 .travis/install-llvm-and-runtime-compiler.sh |  4 ++--
 .travis/install-tcmalloc.sh                  | 10 ++++++++++
 .travis/klee.sh                              |  4 ++--
 4 files changed, 15 insertions(+), 4 deletions(-)
 create mode 100755 .travis/install-tcmalloc.sh

diff --git a/.travis.yml b/.travis.yml
index 9a17f968..db6a27ac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -92,6 +92,7 @@ before_install:
     - sudo update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-3.4 20
     # Install LLVM and the LLVM bitcode compiler we require to build KLEE
     - ${KLEE_SRC}/.travis/install-llvm-and-runtime-compiler.sh
+    - ${KLEE_SRC}/.travis/install-tcmalloc.sh
     # Install lit (llvm-lit is not available)
     - sudo pip install lit
     # Get SMT solvers
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
 
-- 
cgit 1.4.1