mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
tabs
This commit is contained in:
parent
3626d9f69f
commit
f6a10b0b82
|
@ -1349,7 +1349,7 @@ class PythonInstallComponent(Component):
|
|||
return False
|
||||
|
||||
def install_deps(self, out):
|
||||
if not is_python_install_enabled():
|
||||
if not is_python_install_enabled():
|
||||
return
|
||||
pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX)
|
||||
MakeRuleCmd.make_install_directory(out, pythonPkgDirWithoutPrefix)
|
||||
|
|
Loading…
Reference in a new issue