From ea79d0eacdf7aa6ddff01d10407659f177f77705 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 8 Dec 2015 13:45:55 +0000
Subject: [PATCH] Bugfix for Python installation on linuxes

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

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 888fb8553..8db78f827 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1357,6 +1357,7 @@ class PythonInstallComponent(Component):
     def mk_install(self, out):
         if not is_python_install_enabled():
             return
+        pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX)
         MakeRuleCmd.install_files(out, 'z3*.py', pythonPkgDirWithoutPrefix)
         if sys.version >= "3":
             pythonPycacheDir = os.path.join(pythonPkgDirWithoutPrefix, '__pycache__')