From aaf2c3bdcc9322c8a4ca71e24bdf906eb1809c31 Mon Sep 17 00:00:00 2001
From: Rose Kunkel <rose@rosekunkel.me>
Date: Thu, 13 Feb 2020 19:26:55 -0800
Subject: [PATCH] Fix https://github.com/Z3Prover/z3/issues/2998

---
 scripts/mk_util.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 6a755634d..e1a1c5628 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -591,7 +591,6 @@ if os.name == 'nt':
 elif os.name == 'posix':
     if os.uname()[0] == 'Darwin':
         IS_OSX=True
-        PREFIX="/usr/local"
     elif os.uname()[0] == 'Linux':
         IS_LINUX=True
     elif os.uname()[0] == 'GNU':