blob: 0561e28f68c6e9c7f587fc1805a92987f4ceff3f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Build dependencies
install_build_dependencies_klee() {
brew upgrade python # upgrade to Python 3
brew link --overwrite python
if [[ $(to_bool "${ENABLE_DOXYGEN}") -eq 1 ]]; then
brew install doxygen graphviz
fi
pip3 install --user --upgrade lit tabulate
# Get path of package location
base_path=$(python3 -m site --user-base)
export PATH="${base_path}/bin:$PATH"
}
|
