mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
fix for Python API installation
This commit is contained in:
parent
fefd00aa49
commit
6ea45b4d65
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue