mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

Try unbreak OSX build when Python installation doesn't live under

Browse source 
PREFIX. In this case it is not safe to call ``strip_path_prefix()``
due to the assertion error it will raise.
This commit is contained in:
Dan Liew 2015-12-07 12:58:40 +00:00
parent 0a8cd3ae19
commit d98d392aac
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/mk_util.py
View file

@ -1340,8 +1340,13 @@ class PythonInstallComponent(Component):
def __init__(self, name, libz3Component):
assert isinstance(libz3Component, DLLComponent)
Component.__init__(self, name, None, [])
self.pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX)
self.pythonPkgDirWithoutPrefix = None
self.libz3Component = libz3Component
if PYTHON_INSTALL_ENABLED:
# Only safe to call this if we know that PYTHON_PACKAGE_DIR lives under PREFIX.
# Other parts of the code enforce that this is the case when ``PYTHON_INSTALL_ENABLED``
# is True.
self.pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX)
def main_component(self):
return False