mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
Setup.py fix dependencies (#5971)
* Add wheel as build dependency * pyproject toml update
This commit is contained in:
parent
032768b0fc
commit
9834d7aae0
3
src/api/python/pyproject.toml
Normal file
3
src/api/python/pyproject.toml
Normal file
|
@ -0,0 +1,3 @@
|
|||
[build-system]
|
||||
requires = ["setuptools>=46.4.0", "wheel"]
|
||||
build-backend = "setuptools.build_meta"
|
Loading…
Reference in a new issue