blob: 622e621f7fa50f3dc771b724806c39c5f043db65 (
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
|
#!/bin/bash
set -e
###########################################################################
# Install KLEE dependencies
###########################################################################
DIR="$(cd "$(dirname "$0")" && pwd)"
if [[ "${BASE}x" == "x" ]]; then
echo "\${BASE} not set"
exit 1
fi
# Install LLVM and the LLVM bitcode compiler we require to build KLEE
"${DIR}/llvm.sh"
# Install allocators
"${DIR}/tcmalloc.sh"
# Get SMT solvers
"${DIR}/solvers.sh"
# Get needed utlities/libraries for testing KLEE
"${DIR}/testing-utils.sh"
# Install uclibc
"${DIR}/uclibc.sh"
|