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-libcxx.inc | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'scripts/build/v-libcxx.inc')
| -rw-r--r-- | scripts/build/v-libcxx.inc | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/scripts/build/v-libcxx.inc b/scripts/build/v-libcxx.inc index 669bb536..147b4db4 100644 --- a/scripts/build/v-libcxx.inc +++ b/scripts/build/v-libcxx.inc @@ -3,15 +3,9 @@ required_variables_libcxx=( ) required_variables_check_libcxx() { - local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" - # Check versions: no support for LLVM < 3.8 -# if [[ "${LLVM_VERSION_MAJOR}" -eq 3 ]]; then -# [[ "${LLVM_VERSION_MINOR}" -lt 8 ]] && { echo "Version <= 3.7 not supported"; return 1; } -# fi return 0 } artifact_dependency_libcxx(){ echo "clang" -} \ No newline at end of file +} |