mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
Add cmake setup.py build dep (#5972)
* Add wheel as build dependency * Add cmake as a python build dependency * pyproject toml update Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9834d7aae0
commit
c0b455e010
|
@ -1,3 +1,3 @@
|
|||
[build-system]
|
||||
requires = ["setuptools>=46.4.0", "wheel"]
|
||||
requires = ["setuptools>=46.4.0", "wheel", "cmake"]
|
||||
build-backend = "setuptools.build_meta"
|
||||
|
|
Loading…
Reference in a new issue