mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

follow error message to put dependencies in setup args

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-08 18:38:29 -08:00
parent dd271563d3
commit 165d81cac4
2 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api/python/pyproject.toml
View file

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

1
src/api/python/setup.py
View file

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