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 | |
| parent | 64f6edf2280569a49c307350522947d6955ac8d7 (diff) | |
| download | klee-86188c3ad63d7849c00d5424470c386f25f8d227.tar.gz | |
Do not install clang-3.4 if not needed
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh index 13a7f140..1068d158 100755 --- a/.travis/install-llvm-and-runtime-compiler.sh +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -5,6 +5,8 @@ sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev if [ "${LLVM_VERSION}" != "2.9" ]; then sudo apt-get install -y llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION} + sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-${LLVM_VERSION} 20 + sudo update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-${LLVM_VERSION} 20 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 |