mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Bugfix for Python installation on linuxes
This commit is contained in:
parent
ca96fea2c0
commit
ea79d0eacd
|
@ -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__')
|
||||
|
|
Loading…
Reference in a new issue