diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-07-24 16:17:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-24 16:17:04 +0200 |
| commit | 769bd87658d3445af6770cadb1fe50edea833d15 (patch) | |
| tree | 685a818fd4a7336232168fde9b86eb229b23e730 /.travis/install-llvm-and-runtime-compiler.sh | |
| parent | 9fb2f5666d5f8c7c2f335fc8408883a0cf958964 (diff) | |
| parent | 72ea2c66dd4da5971914dce334138f2d5f8db19a (diff) | |
| download | klee-769bd87658d3445af6770cadb1fe50edea833d15.tar.gz | |
Merge pull request #713 from MartinNowack/remove_llvm_29_33
Remove support for LLVM < 3.4
Diffstat (limited to '.travis/install-llvm-and-runtime-compiler.sh')
| -rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 28 |
1 files changed, 3 insertions, 25 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh index 8e8e9863..6c9bc009 100755 --- a/.travis/install-llvm-and-runtime-compiler.sh +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -4,31 +4,9 @@ set -ev if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then 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 - tar -xjf llvm-gcc4.2-2.9-x86_64-linux.tar.bz2 - mv llvm-gcc4.2-2.9-x86_64-linux llvm-gcc - - # Hack to make llvm-gcc capable of building a native executable - OLD_DIR=$(pwd) - cd llvm-gcc/lib/gcc/x86_64-unknown-linux-gnu/4.2.1 - ln -s /usr/lib/x86_64-linux-gnu/crt1.o - ln -s /usr/lib/x86_64-linux-gnu/crti.o - ln -s /usr/lib/x86_64-linux-gnu/crtn.o - cd "$OLD_DIR" - - # Check it can compile hello world - echo -e "#include <stdio.h> \n int main(int argc, char** argv) { printf(\"Hello World\"); return 0;}" > test.c - export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu - export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu - llvm-gcc/bin/llvm-gcc test.c -o hello_world - ./hello_world - fi + 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 elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then # NOTE: We should not easily generalize, since we need the corresponding support of bottled formulas if [ "${LLVM_VERSION}" == "3.4" ]; then |
