mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

use cmake from PyPI only when system executable is not available (#7514)

Browse source 
Rather than pulling `cmake` from PyPI unconditionally, add it to build
dependencies only if the system `cmake` executable cannot be found.
This eliminates an unnecessary dependency on systems featuring CMake,
and ensures that whenever possible, a downstream patched CMake version
is used that is more compatible with the system in question.
This commit is contained in:
Michał Górny 2025-01-21 23:39:19 +01:00 committed by GitHub
parent 45ff1f4df3
commit fc9ff946b7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/pyproject.toml
View file

@ -1,3 +1,3 @@
[build-system] [build-system]
requires = ["setuptools>=70", "cmake"] requires = ["setuptools>=70"]
build-backend = "setuptools.build_meta" build-backend = "setuptools.build_meta"

6
src/api/python/setup.py
View file

@ -88,6 +88,11 @@ else:
LIBRARY_FILE = "libz3.so" LIBRARY_FILE = "libz3.so"
EXECUTABLE_FILE = "z3" EXECUTABLE_FILE = "z3"
# check if cmake is available, and pull it in via PyPI if necessary
SETUP_REQUIRES = []
if not shutil.which("cmake"):
SETUP_REQUIRES += ["cmake"]
def rmtree(tree): def rmtree(tree):
if os.path.exists(tree): if os.path.exists(tree):
shutil.rmtree(tree, ignore_errors=False) shutil.rmtree(tree, ignore_errors=False)
@ -327,6 +332,7 @@ setup(
license='MIT License', license='MIT License',
keywords=['z3', 'smt', 'sat', 'prover', 'theorem'], keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],
packages=['z3'], packages=['z3'],
setup_requires = SETUP_REQUIRES,
install_requires = ["importlib-resources; python_version < '3.9'"], install_requires = ["importlib-resources; python_version < '3.9'"],
include_package_data=True, include_package_data=True,
package_data={ package_data={