From e98ee6ec061bcaf1de5fa4275765da78f8aa9d39 Mon Sep 17 00:00:00 2001 From: Tony Tiger Date: Tue, 22 Dec 2015 13:00:55 +0000 Subject: [PATCH] Fixing building under OS X Previous method is_osx_hack didn't exist, possibly wasn't cleaned up. This change has been tested and Z3 compiles successfully within a 2.7 virtualenv running on OS X 10.10.5. --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index e76eaf0bb..95a97ea83 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1378,7 +1378,7 @@ class PythonInstallComponent(Component): MakeRuleCmd.make_install_directory(out, self.pythonPkgDir, in_prefix=self.in_prefix_install) # Sym-link or copy libz3 into python package directory - if IS_WINDOWS or self.is_osx_hack(): + if IS_WINDOWS or IS_OSX: MakeRuleCmd.install_files(out, self.libz3Component.dll_file(), os.path.join(self.pythonPkgDir,