diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-25 23:07:40 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
commit | 0373fd7d10fb5b23c86ebec2e932ea8f059f5b71 (patch) | |
tree | 785721f0b4202b1d30fa77160368e969e12a4eaa /scripts/build/v-sanitizer.inc | |
parent | 23548f09b7bff999b0b346a5511b2a316ec798b4 (diff) | |
download | klee-0373fd7d10fb5b23c86ebec2e932ea8f059f5b71.tar.gz |
Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler
All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently.
Diffstat (limited to 'scripts/build/v-sanitizer.inc')
-rw-r--r-- | scripts/build/v-sanitizer.inc | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/scripts/build/v-sanitizer.inc b/scripts/build/v-sanitizer.inc index 895ffd21..b86ef23f 100644 --- a/scripts/build/v-sanitizer.inc +++ b/scripts/build/v-sanitizer.inc @@ -1,15 +1,20 @@ -#!/bin/bash # Variables for sanitizer handling - -required_variables_sanitizer=( - "SANITIZER_BUILD" -) +required_variables_sanitizer(){ + if [[ -z ${SANITIZER_BUILD:-} ]]; then + return 0 + fi + echo "SANITIZER_BUILD" + echo "SANITIZER_LLVM_VERSION" +} artifact_dependency_sanitizer=("") required_variables_check_sanitizer() { - # Allowe empty sanitizer builds - [[ -z "${SANITIZER_BUILD}" ]] && return 0 + # Allow empty sanitizer builds + if [[ -z ${SANITIZER_BUILD:-} ]]; then + SANITIZER_BUILD="" + return 0 + fi local sanitizers IFS=":" read -r -a sanitizers <<< "${SANITIZER_BUILD}" @@ -25,7 +30,7 @@ required_variables_check_sanitizer() { } setup_variables_sanitizer() { - if [[ -z "${SANITIZER_BUILD}" ]]; then + if [[ -z "${SANITIZER_BUILD:-}" ]]; then SANITIZERS=("") SANITIZER_SUFFIX="" return 0 @@ -89,4 +94,4 @@ setup_variables_sanitizer() { echo "Unknown sanitizer: $sanitizer" exit 1 done - } +} |