blob: 60b4a498a4c95626c0ad4378bbc7319ff3d38c0e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
# Build information for KLEE
required_variables_klee=(
"COVERAGE"
"KLEE_RUNTIME_BUILD"
"USE_TCMALLOC"
"USE_LIBCXX"
"ENABLE_DOXYGEN"
)
required_variables_check_klee() {
check_bool "COVERAGE"
check_bool "USE_TCMALLOC"
check_bool "USE_LIBCXX"
check_bool "ENABLE_DOXYGEN"
}
# On which artifacts does KLEE depend on
artifact_dependency_klee(){
local dependencies=("llvm" "solvers" "gtest" "sqlite")
if [[ "${OS}" != "osx" ]]; then
dependencies+=(uclibc)
fi
[[ "${USE_TCMALLOC}" -eq 1 ]] && dependencies+=("tcmalloc")
[[ "${USE_LIBCXX}" -eq 1 ]] && dependencies+=("libcxx")
for d in "${dependencies[@]}"; do
echo "${d}"
done
}
runtime_artifact_dependency_klee(){
local dependencies=("")
if [[ "${OS}" != "osx" ]]; then
echo "uclibc"
fi
dependencies+=("llvm" "solvers" "gtest" "sqlite")
[[ "${USE_TCMALLOC}" -eq 1 ]] && dependencies+=("tcmalloc")
[[ "${USE_LIBCXX}" -eq 1 ]] && dependencies+=("libcxx")
for d in "${dependencies[@]}"; do
echo "${d}"
done
}
|
