diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-02-23 14:17:20 +0000 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 10:23:08 +0100 |
| commit | a6a5c148b63f811a6df1e5a3eb6edd43148df510 (patch) | |
| tree | a2c6196ab10792851f082bd7ca085aca9e13f76d /.travis.yml | |
| parent | 4d082d995e5404de0058f6db2b008a3f830c627d (diff) | |
| download | klee-a6a5c148b63f811a6df1e5a3eb6edd43148df510.tar.gz | |
Update travis configuration to use tcmalloc
We have to build our own tcmalloc, as the version provided with Ubtuntu 12.04 is too old.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |