about summary refs log tree commit diff homepage
path: root/scripts/build/v-klee.inc
blob: 78c4e1d1a220ed8fd3daafe31b004ea097990517 (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" "cmake")
  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
}