diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-06-04 12:13:48 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-06-04 12:57:39 +0200 |
| commit | 86188c3ad63d7849c00d5424470c386f25f8d227 (patch) | |
| tree | 3554601de9a5d9bd0fa638e37d7b9abc79df963d /.travis.yml | |
| parent | 64f6edf2280569a49c307350522947d6955ac8d7 (diff) | |
| download | klee-86188c3ad63d7849c00d5424470c386f25f8d227.tar.gz | |
Do not install clang-3.4 if not needed
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index 4e679237..415401f2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -93,10 +93,6 @@ before_install: # Make gcc4.8 the default gcc version - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 20 - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.8 20 - # Make Clang3.4 the default clang version - - sudo apt-get install clang-3.4 - - sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-3.4 20 - - 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 |