diff options
Diffstat (limited to 'scripts/build/p-klee-linux-ubuntu.inc')
| -rw-r--r-- | scripts/build/p-klee-linux-ubuntu.inc | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc index 4b8a89bf..98cac0c5 100644 --- a/scripts/build/p-klee-linux-ubuntu.inc +++ b/scripts/build/p-klee-linux-ubuntu.inc @@ -1,5 +1,5 @@ install_build_dependencies_klee() { - apt update -y + source "${DIR}/common-functions" # Add Kitware's certificate for CMake dependencies=( @@ -42,8 +42,10 @@ install_build_dependencies_klee() { dependencies+=(doxygen graphviz) fi - apt -y --no-install-recommends install "${dependencies[@]}" + with_sudo apt -y --no-install-recommends install "${dependencies[@]}" - pip3 install lit - pip3 install tabulate + pip3 install --user lit + pip3 install --user tabulate + base_path="$(python3 -m site --user-base)" + export PATH="$PATH:${base_path}/bin" } |