risc0-zkvm-circuit-gen 0.11.1

RISC-V circuit (generated)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

def _impl(ctx):
    out_file = ctx.outputs.out
    ctx.actions.run(
        mnemonic = "MakeCircuit",
        executable = ctx.executable._tool,
        arguments = [out_file.path],
        outputs = [out_file],
        tools = [ctx.executable._tool],
    )
    return [DefaultInfo(files = depset([out_file]))]

make_circuit = rule(
    attrs = {
        "_tool": attr.label(
            default = Label("//risc0/zkvm/circuit/make-circuit"),
            allow_single_file = True,
            executable = True,
            cfg = "exec",
        ),
        "out": attr.output(mandatory = True),
    },
    implementation = _impl,
)