diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-09-15 00:42:56 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-09-15 00:42:56 +0100 |
| commit | 524ea8027e4b5c8c72fa812d06ad8c12e77c33c2 (patch) | |
| tree | ce06e655b1cb12371899fdc9dbddf27b25f015b7 /.travis/install-llvm-and-runtime-compiler.sh | |
| parent | b18284f3354ff94051162478d20204ac40ed215d (diff) | |
| parent | 2cefd431ec3371e3232a370632a4bef0569c7cd9 (diff) | |
| download | klee-524ea8027e4b5c8c72fa812d06ad8c12e77c33c2.tar.gz | |
Merge pull request #154 from delcypher/travis_script_fixes
Travis clean ups
Diffstat (limited to '.travis/install-llvm-and-runtime-compiler.sh')
| -rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh new file mode 100755 index 00000000..e1a17f6b --- /dev/null +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -0,0 +1,13 @@ +#!/bin/bash +set -ev + +sudo apt-get install llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev + +if [ "${LLVM_VERSION}" != "2.9" ]; then + sudo apt-get install 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 + tar -xjf llvm-gcc4.2-2.9-x86_64-linux.tar.bz2 + mv llvm-gcc4.2-2.9-x86_64-linux llvm-gcc +fi |