6. Building🔗

L4YAML ships a top-level CMake driver that orchestrates Lake for the Lean side and compiles the C FFI and (optionally) Rust shim in the same configuration. The recommended workflow is therefore one CMake invocation rather than three separate per-language build commands.

1. 6.1. Recommended Build
2. 6.2. CMake Options
3. 6.3. Python Install Modes
4. 6.4. Prerequisites
5. 6.5. Lean-Only Build
6. 6.6. Standalone Per-Binding Builds