1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/build/p-klee-osx.inc b/scripts/build/p-klee-osx.inc
index 38eaa02c..0561e28f 100644
--- a/scripts/build/p-klee-osx.inc
+++ b/scripts/build/p-klee-osx.inc
@@ -2,8 +2,14 @@
 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 lit tabulate
+
+  pip3 install --user --upgrade lit tabulate
+
+  # Get path of package location
+  base_path=$(python3 -m site --user-base)
+  export PATH="${base_path}/bin:$PATH"
 }
\ No newline at end of file