diff options
author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-24 08:28:34 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-24 08:28:34 +0000 |
commit | 3a8bc6a43073b98b58c8cf0c20a930cb2c953b5d (patch) | |
tree | 2d63ab8ade34cd54cf765a461639c6bbf93d8962 /.travis/install-llvm-and-runtime-compiler.sh | |
parent | 396db899b5ae4ad011ef413e12b571556ec75f47 (diff) | |
parent | 3d6db3261b124bc1705eb647f8c8bea89d936af6 (diff) | |
download | klee-3a8bc6a43073b98b58c8cf0c20a930cb2c953b5d.tar.gz |
Merge pull request #595 from andreamattavelli/travis_macosx
Travis-CI target for macOS
Diffstat (limited to '.travis/install-llvm-and-runtime-compiler.sh')
-rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh index 1068d158..de6f9bbd 100755 --- a/.travis/install-llvm-and-runtime-compiler.sh +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -1,13 +1,14 @@ #!/bin/bash -x set -ev -sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev +if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then + sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev -if [ "${LLVM_VERSION}" != "2.9" ]; then + 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 + 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 @@ -27,4 +28,13 @@ else export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu llvm-gcc/bin/llvm-gcc test.c -o hello_world ./hello_world + fi +else # OSX + # NOTE: We should not easily generalize, since we need the corresponding support of bottled formulas + if [ "${LLVM_VERSION}" == "3.4" ]; then + brew install llvm34 + else + echo "Error: Requested to install LLVM ${LLVM_VERSION} on macOS, which is not supported" + exit 1 + fi fi |