diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /scripts/build/p-llvm-linux-ubuntu-16.04.inc | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'scripts/build/p-llvm-linux-ubuntu-16.04.inc')
| -rw-r--r-- | scripts/build/p-llvm-linux-ubuntu-16.04.inc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/scripts/build/p-llvm-linux-ubuntu-16.04.inc b/scripts/build/p-llvm-linux-ubuntu-16.04.inc index 6bfc3105..bab32d45 100644 --- a/scripts/build/p-llvm-linux-ubuntu-16.04.inc +++ b/scripts/build/p-llvm-linux-ubuntu-16.04.inc @@ -44,11 +44,6 @@ install_binary_artifact_llvm() { # Enable/Disable optimized does not matter - # Check versions: no support for LLVM < 3.8 - if [[ "${LLVM_VERSION_MAJOR}" -eq 3 ]]; then - [[ "${LLVM_VERSION_MINOR}" -lt 8 ]] && return 1 - fi - # Add certificate apt update -y dependencies=( @@ -95,4 +90,4 @@ is_installed_llvm() { # Check requested mode with mode of the found item [[ $(to_bool "${REQUIRES_RTTI}") -eq $(to_bool "${rtti}") ]] || return 1 [[ $(to_bool "${DISABLE_ASSERTIONS}") -ne $(to_bool "${assertion}") ]] || return 1 -} \ No newline at end of file +} |