Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update script to use importlib_resources #6949

Merged
merged 1 commit into from
Oct 24, 2023

Conversation

rsetaluri
Copy link
Contributor

To avoid a deprecation warning, this change updates scripts/update_api.py to use 'importlib_resources' instead of 'pkg_resources'.

See https://setuptools.pypa.io/en/latest/pkg_resources.html and https://importlib-resources.readthedocs.io/en/latest/migration.html for more information.

To avoid a deprecation warning, this change updates scripts/update_api.py
to use 'importlib_resources' instead of 'pkg_resources'.

See https://setuptools.pypa.io/en/latest/pkg_resources.html and
https://importlib-resources.readthedocs.io/en/latest/migration.html for
more information.
@rsetaluri
Copy link
Contributor Author

This is a starting point for this change to get rid of deprecation warnings. I'm not sure what versions of python are supported for build/install, and whether or not importlib_resources exists for all of those. Furthermore, I'm unsure where the dependency on importlib_resources needs to be declared.

@NikolajBjorner NikolajBjorner merged commit d5fe4b0 into Z3Prover:master Oct 24, 2023
20 checks passed
@NikolajBjorner
Copy link
Contributor

Thanks!!

@NikolajBjorner
Copy link
Contributor

this is causing a lot of headache with 4.12.3 #7041

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants