mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

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

Browse source 
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).
This commit is contained in:
Michał Górny 2023-12-05 16:49:32 +01:00 committed by GitHub
parent 764f0d54a4
commit 9ad4d50b5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/update_api.py
View file

@ -1831,7 +1831,10 @@ import atexit
import sys, os
import contextlib
import ctypes
import importlib_resources
if sys.version_info >= (3, 9):
import importlib.resources as importlib_resources
else:
import importlib_resources
from .z3types import *
from .z3consts import *