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

conditionally depend on importlib_resources (#7116)

Browse source 
In python >= 3.9, it's available as part of the stdlib.
This commit is contained in:
Cal Jacobson 2024-02-18 18:20:24 +13:00 • committed by GitHub
parent 84d592c1f2
commit 199ef30e0c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -341,7 +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'], install_requires = ["importlib-resources; python_version < '3.9'"],
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')]