From 199ef30e0c528cc3b32277b65b15efb0618c2310 Mon Sep 17 00:00:00 2001
From: Cal Jacobson <cj81499@users.noreply.github.com>
Date: Sun, 18 Feb 2024 18:20:24 +1300
Subject: [PATCH] conditionally depend on importlib_resources (#7116)

In python >= 3.9, it's available as part of the stdlib.
---
 src/api/python/setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 325fb4230..c3f65f848 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -341,7 +341,7 @@ setup(
     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')]