Function try_load_python

LeanPy/native/python_bridge.c:363–391

}

static int try_load_python(void) {
    /* 1. Prefer libpython already loaded into the process (this is
     *    the typical case when LeanPy runs inside a Python host —
     *    using a different libpython would cause two independent
     *    CPython VMs and immediate crashes). */
    py_handle = dlopen(NULL, RTLD_LAZY);
    if (py_handle && dlsym(py_handle, "Py_Initialize")) return 1;
    py_handle = NULL;

    /* 2. Honour LEANPY_LIBPYTHON if set. */
    const char *override = getenv("LEANPY_LIBPYTHON");
    if (override && *override) {
        py_handle = dlopen(override, RTLD_NOW | RTLD_GLOBAL);
        if (py_handle) return 1;
    }

    /* 3. Ask python3 / python on PATH for its libpython. Catches
     *    pyenv, uv, and framework installs whose lib dir isn't in
     *    the dyld search path. */
    if (try_python_subprocess("python3")) return 1;
    if (try_python_subprocess("python")) return 1;

    /* 4. Fall back to common sonames (relies on dyld search path). */
    for (int i = 0; PY_CANDIDATES[i]; i++) {
        py_handle = dlopen(PY_CANDIDATES[i], RTLD_NOW | RTLD_GLOBAL);
        if (py_handle) return 1;
    }
    return 0;
}

LEAN_EXPORT lean_obj_res lean_py_initialize(lean_obj_arg unit, lean_obj_arg world) {
    (void)world;