diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 325fb423020..c3f65f84809 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -341,7 +341,7 @@ def run(self): license='MIT License', keywords=['z3', 'smt', 'sat', 'prover', 'theorem'], packages=['z3'], - install_requires = ['importlib-resources'], + install_requires = ["importlib-resources; python_version < '3.9'"], include_package_data=True, package_data={ 'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')]