From 57969e26699eeec4657a690bc3e8b1528eef46d4 Mon Sep 17 00:00:00 2001 From: Chad Brewbaker Date: Sat, 2 Jun 2018 18:50:49 -0500 Subject: [PATCH] Bumping to latest z3 --- setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.sh b/setup.sh index bb139de..8a6356b 100755 --- a/setup.sh +++ b/setup.sh @@ -2,8 +2,8 @@ # Homebrew default locations (both for python and z3) export PYTHONMODS="usr/local/lib/python2.7/site-packages:/Library/Python/2.7/site-packages:~/Library/Python/2.7/lib/python/site-packages" -export Z3HOME="/usr/local/Cellar/z3/4.3.1/lib/python2.7/site-packages/" -export Z3BIN="/usr/local/Cellar/z3/4.3.1/bin" +export Z3HOME="/usr/local/Cellar/z3/4.7.1/lib/python2.7/site-packages/" +export Z3BIN="/usr/local/Cellar/z3/4.7.1/bin" # Python setup