From aad186f6a570780bee4538b50529af2cc7b84820 Mon Sep 17 00:00:00 2001
From: Owlz <whootandahalf@gmail.com>
Date: Sun, 14 May 2017 15:25:17 -0400
Subject: [PATCH] Fixing z3 binary setup to data_files

---
 src/api/python/setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index ff3b0736d..24ba59ac2 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -164,6 +164,6 @@ setup(
     package_data={
         'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')]
     },
-    scripts=[os.path.join('bin', EXECUTABLE_FILE)],
+    data_files=[('bin',[os.path.join('bin',EXECUTABLE_FILE)])],
     cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_egg': bdist_egg},
 )