about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2020-01-08 09:48:45 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-01-08 11:30:34 +0000
commit861ae4c50d35f5bbd1e972e303957aa1216c8ed5 (patch)
tree4a7c0352c77fb24a04c37cb7288f531fdc26d934
parent15964c97ea95eea845b5972c366a21b7c5507ca8 (diff)
downloadklee-861ae4c50d35f5bbd1e972e303957aa1216c8ed5.tar.gz
Link python3 on macOS
-rw-r--r--scripts/build/p-klee-osx.inc1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/p-klee-osx.inc b/scripts/build/p-klee-osx.inc
index c25eed57..fae6bbd3 100644
--- a/scripts/build/p-klee-osx.inc
+++ b/scripts/build/p-klee-osx.inc
@@ -1,5 +1,6 @@
 # Build dependencies
 install_build_dependencies_klee() {
   brew upgrade python               # upgrade to Python 3
+  brew link --overwrite python
   pip3 install lit tabulate
 }
\ No newline at end of file