ceno/Makefile.toml at master · scroll-tech/ceno · 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
[env]
CARGO_MAKE_EXTEND_WORKSPACE_MAKEFILE = true

[tasks.tests]
args = [
  "test",
  # Run everything but 'benches'.
  "--lib",
  "--bins",
  "--tests",
  "--examples",
  "--workspace",
  "--",
  "--nocapture",
]
command = "cargo"
env = { RUST_MIN_STACK = "33554432" }
workspace = false

[tasks.tests_goldilock]
args = [
  "test",
  # Run everything but 'benches'.
  "--lib",
  "--bins",
  "--tests",
  "--examples",
  "--workspace",
  "--no-default-features",
  "--features",
  "goldilocks",
  "--",
  "--nocapture",
]
command = "cargo"
env = { RUST_MIN_STACK = "33554432" }
workspace = false


[tasks.riscv_stats]
args = ["run", "--bin", "riscv_stats"]
command = "cargo"
workspace = false

[tasks.clippy]
args = [
  "clippy",
  "--workspace",
  "--all-targets",
  "--",
  "-D",
  "warnings",
]
command = "cargo"
workspace = false

[tasks.cli]
args = [
  "install",
  "--features",
  "jemalloc",
  "--features",
  "nightly-features",
  "--path",
  "./ceno_cli",
  "--locked",
]
command = "cargo"
env = { "JEMALLOC_SYS_WITH_MALLOC_CONF" = "retain:true,metadata_thp:always,thp:always,dirty_decay_ms:-1,muzzy_decay_ms:-1,abort_conf:true" }
workspace = false