Function risc0_zkvm_circuit_sys::make_circuit

pub fn make_circuit(path: &str) -> Result<()>

Produces a machine generated .h file that implements the RISC-V circuit and writes it to a file.