File 0008-travis-CI-add-LLVM-3.8-build-tests.patch of Package klee

Overview Repositories Revisions Requests Users Attributes Meta

File 0008-travis-CI-add-LLVM-3.8-build-tests.patch of Package klee (Revision 404241bb6701a795e4aadbe3cf040eb4)

Currently displaying revision 404241bb6701a795e4aadbe3cf040eb4 , Show latest

From: Jiri Slaby <jirislaby@gmail.com>
Date: Thu, 23 Feb 2017 15:27:56 +0100
Subject: travis CI: add LLVM 3.8 build tests
Patch-mainline: no

3.9 does not seem to be in deb repos yet.
3.7 is not in debian repos either (already).

Legacy build system is not supported since 3.8.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
---
 .travis.yml                                  | 4 +++-
 .travis/install-llvm-and-runtime-compiler.sh | 5 ++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 9a337952b17c..7c6b93c497ed 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,7 +20,7 @@ env:
     ###########################################################################
 
     # Check a subset of the matrix of:
-    #   LLVM  : {2.9, 3.4, 3.5, 3.6}
+    #   LLVM  : {2.9, 3.4, 3.5, 3.6, 3.8, 3.9}
     #   SOLVERS : {Z3, STP, STP:Z3, metaSMT}
     #   STP_VERSION   : {2.1.2, master}
     #   METASMT_VERSION : {v4.rc1}
@@ -41,6 +41,8 @@ env:
     # TODO: Add Doxygen build
 
     # Check KLEE CMake build in a few configurations
+# This should be 3.9, but debian does not seem to have llvm 3.9 yet.
+    - LLVM_VERSION=3.8 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1
     - LLVM_VERSION=3.6 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1
     - LLVM_VERSION=3.5 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1
 
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh
index 8e8e98633aac..c5993a7b2e84 100755
--- a/.travis/install-llvm-and-runtime-compiler.sh
+++ b/.travis/install-llvm-and-runtime-compiler.sh
@@ -5,7 +5,10 @@ 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 apt-get install -y clang-${LLVM_VERSION}
+    if [ "${LLVM_VERSION}" != "3.8" -a "${LLVM_VERSION}" != "3.9" ]; then
+	sudo apt-get install -y llvm-${LLVM_VERSION}-tools
+    fi
     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
-- 
2.13.1

Places

File 0008-travis-CI-add-LLVM-3.8-build-tests.patch of Package klee (Revision 404241bb6701a795e4aadbe3cf040eb4)

Places