follow error message to put dependencies in setup args

Signed-off-by: Nikolaj Bjorner <[email protected]>

src/api/python/pyproject.toml

@@ -1,8 +1,3 @@
 [build-system]
 requires = ["setuptools>=46.4.0", "wheel", "cmake"]
 build-backend = "setuptools.build_meta"
-
-[project]
-name = "z3-solver"
-version = "4"
-dependencies = ["importlib-resources", ]

src/api/python/setup.py

@@ -341,6 +341,7 @@ def run(self):
     license='MIT License',
     keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],
     packages=['z3'],
+    install_requires = ['importlib-resources'],
     include_package_data=True,
     package_data={
         'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')]