about summary refs log tree commit diff homepage
path: root/scripts/build/v-sanitizer_compiler.inc
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/build/v-sanitizer_compiler.inc')
-rw-r--r--scripts/build/v-sanitizer_compiler.inc21
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