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

Use built-in importlib.resources on Python 3.9+ #7042

Merged
merged 1 commit into from
Dec 5, 2023

Conversation

mgorny
Copy link
Contributor

@mgorny mgorny commented Dec 5, 2023

Use built-in importlib.resources module rather than the external importlib_resources package on Python 3.9 and newer. The latter is only intended as a backport for old Python versions, and since modern Linux distributions may no longer support such old Python versions, they also no longer provide importlib_resources (this is the case on Gentoo).

CC @rsetaluri

Use built-in `importlib.resources` module rather than the external
`importlib_resources` package on Python 3.9 and newer.  The latter
is only intended as a backport for old Python versions, and since modern
Linux distributions may no longer support such old Python versions,
they also no longer provide importlib_resources (this is the case
on Gentoo).
@NikolajBjorner NikolajBjorner merged commit 9ad4d50 into Z3Prover:master Dec 5, 2023
15 checks passed
@mgorny mgorny deleted the importlib_resources branch December 5, 2023 16:51
@mgorny
Copy link
Contributor Author

mgorny commented Dec 5, 2023

Thank you.

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