From 861ae4c50d35f5bbd1e972e303957aa1216c8ed5 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 8 Jan 2020 09:48:45 +0000 Subject: Link python3 on macOS --- scripts/build/p-klee-osx.inc | 1 + 1 file changed, 1 insertion(+) 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 -- cgit 1.4.1