From 092c52e5b7e8e5f9f2883502b10da9f0bc9c91ad Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 22 Sep 2016 18:29:26 -0700 Subject: [PATCH] fix for package directory. issue #744 Signed-off-by: Nikolaj Bjorner --- 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 57f2c7ad1..309b08297 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1482,7 +1482,7 @@ class PythonInstallComponent(Component): else: MakeRuleCmd.install_files(out, os.path.join('python', 'z3', '*.pyc'), - self.pythonPkgDir, + os.path.join(self.pythonPkgDir,'z3'), in_prefix=self.in_prefix_install) if PYTHON_PACKAGE_DIR != distutils.sysconfig.get_python_lib(): out.write('\t@echo Z3Py was installed at \'%s\', make sure this directory is in your PYTHONPATH environment variable.' % PYTHON_PACKAGE_DIR)