22 lines
867 B
Diff
22 lines
867 B
Diff
--- a/scripts/update_api.py 2020-09-10 12:51:28.000000000 -0600
|
|
+++ b/scripts/update_api.py 2020-12-25 17:03:00.196777823 -0700
|
|
@@ -1755,15 +1755,15 @@ def write_core_py_preamble(core_py):
|
|
# Automatically generated file
|
|
import sys, os
|
|
import ctypes
|
|
-import pkg_resources
|
|
+import sysconfig
|
|
from .z3types import *
|
|
from .z3consts import *
|
|
|
|
-_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so'
|
|
+_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so.@MAJVER@'
|
|
_lib = None
|
|
_default_dirs = ['.',
|
|
os.path.dirname(os.path.abspath(__file__)),
|
|
- pkg_resources.resource_filename('z3', 'lib'),
|
|
+ sysconfig.get_config_var('LIBDIR'),
|
|
os.path.join(sys.prefix, 'lib'),
|
|
None]
|
|
_all_dirs = []
|