scripts/build/v-klee.inc


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

# Build information for KLEE
required_variables_klee=(
  "COVERAGE"
  "USE_TCMALLOC"
)

required_variables_check_klee() {
  check_bool "COVERAGE"
  check_bool "USE_TCMALLOC"
}

# On which artifacts does KLEE depend on
artifact_dependency_klee(){
  local dependencies=("llvm" "solvers" "gtest")
  if [[ "${OS}" != "osx" ]]; then
    dependencies+=(uclibc)
  fi

  if [[ "${USE_TCMALLOC}" -eq 1 ]]; then
    dependencies+=("tcmalloc")
  fi

  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")

  if [[ "${USE_TCMALLOC}" -eq 1 ]]; then
    dependencies+=("tcmalloc")
  fi

  for d in "${dependencies[@]}"; do
    echo "${d}"
  done
}