Function lean_include_dir

lean_py/utils.py:52–54

Directory containing `lean/lean.h`.

()

    When ``LEANPY_BUNDLE_DIR`` is set (e.g. by a wheel-installed library's
    loader), the Lean runtime shared libraries and the user dylib have been
    vendored and relocated there, so we can resolve everything without an
    installed toolchain. See :mod:`lean_py.packaging`.
    """
    d = os.environ.get("LEANPY_BUNDLE_DIR")
    return Path(d) if d else None