blob: 50dfb612612c9f07f9910e6b30710fa0fbf08cf8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/bash
# Install all dependencies to build KLEE in a directory ${BASE}
set -e
if [[ "${BASE}x" == "x" ]]; then
echo "\${BASE} not set"
exit 1
fi
# Create base directory if not exists
mkdir -p "${BASE}"
DIR=$(dirname "$(readlink -f "$0" || stat -f "$0")")
# Install dependencies
"${DIR}/install-klee-deps.sh"
# Build KLEE
"${DIR}/klee.sh"
|
