From 575538d32580a7d0b2ef8f721a817abfd6e8afc6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 8 Dec 2023 18:38:29 -0800 Subject: [PATCH] follow error message to put dependencies in setup args Signed-off-by: Nikolaj Bjorner --- src/api/python/pyproject.toml | 5 ----- src/api/python/setup.py | 1 + 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml index 2f441d000..a9f2676a7 100644 --- a/src/api/python/pyproject.toml +++ b/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", ] \ No newline at end of file diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 54992156f..325fb4230 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -341,6 +341,7 @@ setup( 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')]