1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/build/p-z3-osx.inc b/scripts/build/p-z3-osx.inc
new file mode 100644
index 00000000..bce11aab
--- /dev/null
+++ b/scripts/build/p-z3-osx.inc
@@ -0,0 +1,13 @@
+install_binary_artifact_z3 () {
+  set +e
+  brew install python@2
+  if [[ "X$?" != "X0" ]]; then
+     brew link --overwrite python@2
+  fi
+  set -e
+  brew install z3
+}
+
+is_installed_z3() {
+    [[ -f "/usr/local/opt/z3/bin/z3" ]]
+}
\ No newline at end of file