diff options
Diffstat (limited to '.travis/klee.sh')
| -rwxr-xr-x | .travis/klee.sh | 30 |
1 files changed, 8 insertions, 22 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index 5ee631fa..19b9e47f 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -9,29 +9,15 @@ SVN_BRANCH="release_$( echo ${LLVM_VERSION} | sed 's/\.//g')" ############################################################################### # Select the compiler to use to generate LLVM bitcode ############################################################################### -if [ "${LLVM_VERSION}" != "2.9" ]; then - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then - KLEE_CC=/usr/bin/clang-${LLVM_VERSION} - KLEE_CXX=/usr/bin/clang++-${LLVM_VERSION} - elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then - KLEE_CC=/usr/local/bin/clang-${LLVM_VERSION} - KLEE_CXX=/usr/local/bin/clang++-${LLVM_VERSION} - else - echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" - exit 1 - fi +if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then + KLEE_CC=/usr/bin/clang-${LLVM_VERSION} + KLEE_CXX=/usr/bin/clang++-${LLVM_VERSION} +elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then + KLEE_CC=/usr/local/bin/clang-${LLVM_VERSION} + KLEE_CXX=/usr/local/bin/clang++-${LLVM_VERSION} else - # Just use pre-built llvm-gcc downloaded earlier - KLEE_CC=${BUILD_DIR}/llvm-gcc/bin/llvm-gcc - KLEE_CXX=${BUILD_DIR}/llvm-gcc/bin/llvm-g++ - export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu - export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu - - # Add symlinks to fix llvm-2.9-dev package so KLEE can configure properly - # Because of the way KLEE's configure script works this must be a relative - # symlink, **not** absolute! - sudo sh -c 'cd /usr/lib/llvm-2.9/build/ && ln -s ../ Release' - sudo sh -c 'cd /usr/lib/llvm-2.9/build/ && ln -s ../include include' + echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" + exit 1 fi ############################################################################### |