python regression

[tpaviot]

commit d5fe4b0 introduces a regression in codebase (ubuntu-22.04/py3.9):

  File "[...]/z3/__init__.py", line 1, in <module>
    from .z3 import *
  File "[...]/z3/z3.py", line 46, in <module>
    from . import z3core
  File "[...]/z3/z3core.py", line 15, in <module>
    _z3_lib_resource = importlib_resources.files('z3', 'lib')
  File "[...]/importlib_resources/_common.py", line 37, in wrapper
    return func(anchor, package)
TypeError: files() takes from 0 to 1 positional arguments but 2 were given

ping @rsetaluri

[NikolajBjorner]

So is it?

from importlib_resources import files

def resource_filename(package_or_requirement, resource_name):
    return str(files(package_or_requirement) / resource_name)

# usage
resource_filename('z3', 'lib')

[rsetaluri]

Yes I think @NikolajBjorner's solution is correct. We need to do files('z3').joinpath('lib')

[tpaviot]

👍