From c0b455e01089fdafd2dadd5124d2080dff777823 Mon Sep 17 00:00:00 2001
From: Zachary Wimer <zwimer@users.noreply.github.com>
Date: Tue, 12 Apr 2022 23:48:08 -0700
Subject: [PATCH] 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>
---
 src/api/python/pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
index ead8162b7..a9f2676a7 100644
--- 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"