From 6ea45b4d65f36f0299007dc172477ec6e8478727 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 25 Oct 2016 14:23:55 +0100 Subject: [PATCH] fix for Python API installation --- scripts/mk_util.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 309b08297..a86499149 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1505,6 +1505,9 @@ class PythonInstallComponent(Component): os.path.join(self.pythonPkgDir, 'z3', '__pycache__', '*.pyc'), in_prefix=self.in_prefix_install ) + MakeRuleCmd.remove_installed_files(out, + os.path.join(self.pythonPkgDir, 'z3', 'lib', + self.libz3Component.dll_file())) def mk_makefile(self, out): return