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>
Z3Prover · Apr 13, 2022 · c0b455e · c0b455e
1 parent 9834d7a
commit c0b455e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
@@ -1,3 +1,3 @@
 [build-system]
-requires = ["setuptools>=46.4.0", "wheel"]
+requires = ["setuptools>=46.4.0", "wheel", "cmake"]
 build-backend = "setuptools.build_meta"