risc0-verifier/Makefile.toml at master · zkVerify/risc0-verifier · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
[config]
default_to_workspace = false

[tasks.ignore-members]
workspace = false

[tasks.clean]
command = "cargo"
args = ["clean"]

[tasks.install-bare-metal]
command = "rustup"
args = ["target", "add", "thumbv7em-none-eabi"]

[tasks.build-bare-metal]
dependencies = ["install-bare-metal"]
command = "cargo"
args = ["build", "--no-default-features", "--target", "thumbv7em-none-eabi"]

[tasks.build]
command = "cargo"
args = ["build"]

[tasks.test]
command = "cargo"
args = ["test"]

[tasks.build-host-generate-proofs]
command = "cargo"
args = ["build", "--release", "--manifest-path", "generate_proofs/host/Cargo.toml"]

[tasks.build-convert]
command = "cargo"
args = ["build", "--bin", "convert_old", "--release", "--features", "convert"]

[tasks.format_inst]
[tasks.format-inst]
install_crate = { crate_name = "rustfmt", rustup_component_name = "rustfmt", binary = "rustfmt", test_arg = "--help" }

[tasks.format]
dependencies = ["format-inst"]
command = "cargo"
args = ["fmt"]

[tasks.format-check]
dependencies = ["format-inst"]
command = "cargo"
args = ["fmt", "--check"]

[tasks.clippy-inst]
install_crate = { crate_name = "clippy", rustup_component_name = "clippy", binary = "clippy", test_arg = "--help" }

[tasks.clippy]
dependencies = ["clippy-inst"]
command = "cargo"
args = ["clippy", "--", "--deny", "warnings"]

[tasks.compile-header-fix]
command = "cargo"
args = ["build", "--manifest-path", "header-fix/Cargo.toml", "--release"]

[tasks.header-add]
dependencies = ["compile-header-fix"]
command = "./header-fix/target/release/header-fix"
args = ["--glob", "**/*.rs", "HEADER-APACHE2"]

[tasks.header-check]
dependencies = ["compile-header-fix"]
command = "./header-fix/target/release/header-fix"
args = ["--check", "--glob", "**/*.rs", "HEADER-APACHE2"]

[tasks.audit-inst]
command = "cargo"
args = ["install", "cargo-audit"]

[tasks.audit]
dependencies = ["audit-inst"]
command = "cargo"
args = ["audit"]

[tasks.cov]
command = "cargo"
args = ["llvm-cov", "--workspace", "--lcov", "--output-path", "lcov.info"]

[tasks.udeps-inst]
toolchain = "nightly"
command = "cargo"
args = ["install", "cargo-udeps", "--locked"]

[tasks.udeps]
dependencies = ["udeps-inst"]
toolchain = "nightly"
command = "cargo"
args = ["udeps", "--all-targets"]

[tasks.machete]
command = "cargo"
args = ["machete"]

[tasks.ci-common]
# Removed build-bare-metal till the `risc0-circuit-rv32im@2.0.2`'s risc0 issue is not fixed
# dependencies = ["build", "build-bare-metal", "test", "build-convert", "build-host-generate-proofs", "clippy", "audit",
#    "udeps"]
dependencies = ["build", "test", "build-convert", "build-host-generate-proofs", "clippy", "audit",
    "udeps"]

[tasks.ci]
dependencies = ["format", "header-add", "ci-common", "machete"]

[tasks.ci-remote]
dependencies = ["format-check", "header-check", "ci-common"]