diff options
Diffstat (limited to 'scripts/build/v-sanitizer_compiler.inc')
-rw-r--r-- | scripts/build/v-sanitizer_compiler.inc | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/scripts/build/v-sanitizer_compiler.inc b/scripts/build/v-sanitizer_compiler.inc new file mode 100644 index 00000000..e0cf2468 --- /dev/null +++ b/scripts/build/v-sanitizer_compiler.inc @@ -0,0 +1,21 @@ +# Meta-package for solvers +required_variables_sanitizer_compiler=("") + +# On which artifacts does STP depend on +artifact_dependency_sanitizer_compiler(){ + echo "sanitizer" + if [[ -n ${SANITIZER_BUILD+x} ]]; then + [[ "${SANITIZER_BUILD}" == "memory" ]] && echo "llvm" + [[ "${SANITIZER_BUILD}" != "memory" ]] && echo "clang" + fi +} + + +# Setup general variables +setup_variables_sanitizer_compiler() { + for sanitizer in "${SANITIZERS[@]}"; do + [[ -z "${sanitizer}" ]] && continue + SANITIZER_CMAKE_C_COMPILER=[""] + done + +} \ No newline at end of file |