Jiri Slaby
a2658acfe8
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=24
58 lines
2.5 KiB
Diff
58 lines
2.5 KiB
Diff
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
|
|
|