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/v-uclibc.inc | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'scripts/build/v-uclibc.inc')
| -rw-r--r-- | scripts/build/v-uclibc.inc | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/scripts/build/v-uclibc.inc b/scripts/build/v-uclibc.inc index e7a2f720..7cdedfcd 100644 --- a/scripts/build/v-uclibc.inc +++ b/scripts/build/v-uclibc.inc @@ -6,12 +6,5 @@ required_variables_uclibc=( artifact_dependency_uclibc(){ # Add llvm if needed; otherwise only use clang package # TODO this is quite distribution specific; should be handled in a more general case - local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" - # Check versions: no support for LLVM < 3.5 - if [[ "${LLVM_VERSION_MAJOR}" -eq 3 ]]; then - [[ "${LLVM_VERSION_MINOR}" -lt 5 ]] && echo "llvm" - fi - echo "clang" -} \ No newline at end of file +} |