6.4. Prerequisites🔗

The minimum environment is:

• elan on PATH — provides the lean and lake versions pinned in lean-toolchain.

• A C compiler and a CMake ≥ 3.20 (the top-level project enables only the C language; the Lean side is driven through Lake).

L4YAML_BUILD_RUST=ON additionally requires:

• cargo (recent stable Rust; the workspace pins edition = "2024" and rust-version = "1.85").

• libclang development files for bindgen to parse ffi/l4yaml.h.

• Network access on the first build, so cargo can fetch bindgen and thiserror from crates.io.