forked from powdr-labs/powdr
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
75 lines (68 loc) · 2.23 KB
/
Cargo.toml
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
[workspace]
resolver = "2"
members = [
"powdr",
"powdr-test",
"number",
"parser",
"cli",
"cli-rs",
"executor",
"riscv",
"parser-util",
"pil-analyzer",
"pipeline",
"pilopt",
"plonky3",
"asm-to-pil",
"backend",
"ast",
"analysis",
"linker",
"asm-utils",
"airgen",
"riscv-executor",
"riscv-syscalls",
"schemas",
]
exclude = [ "riscv-runtime" ]
[workspace.package]
version = "0.1.0-alpha.2"
edition = "2021"
license = "MIT"
homepage = "https://powdr.org"
repository = "https://github.com/powdr-labs/powdr"
[workspace.dependencies]
# workspace crates
powdr = { path = "./powdr", version = "0.1.0-alpha.2" }
powdr-airgen = { path = "./airgen", version = "0.1.0-alpha.2" }
powdr-ast = { path = "./ast", version = "0.1.0-alpha.2" }
powdr-asm-to-pil = { path = "./asm-to-pil", version = "0.1.0-alpha.2" }
powdr-asm-utils = { path = "./asm-utils", version = "0.1.0-alpha.2" }
powdr-analysis = { path = "./analysis", version = "0.1.0-alpha.2" }
powdr-backend = { path = "./backend", version = "0.1.0-alpha.2" }
powdr-executor = { path = "./executor", version = "0.1.0-alpha.2" }
powdr-importer = { path = "./importer", version = "0.1.0-alpha.2" }
powdr-linker = { path = "./linker", version = "0.1.0-alpha.2" }
powdr-number = { path = "./number", version = "0.1.0-alpha.2" }
powdr-parser = { path = "./parser", version = "0.1.0-alpha.2" }
powdr-parser-util = { path = "./parser-util", version = "0.1.0-alpha.2" }
powdr-pil-analyzer = { path = "./pil-analyzer", version = "0.1.0-alpha.2" }
powdr-pilopt = { path = "./pilopt", version = "0.1.0-alpha.2" }
powdr-pipeline = { path = "./pipeline", version = "0.1.0-alpha.2" }
powdr-riscv = { path = "./riscv", version = "0.1.0-alpha.2" }
powdr-riscv-executor = { path = "./riscv-executor", version = "0.1.0-alpha.2" }
powdr-riscv-syscalls = { path = "./riscv-syscalls", version = "0.1.0-alpha.2" }
powdr-schemas = { path = "./schemas", version = "0.1.0-alpha.2" }
[profile.pr-tests]
inherits = "dev"
opt-level = 3
debug = "line-tables-only"
debug-assertions = true
overflow-checks = true
panic = 'unwind'
incremental = true # This is true because target is cached
codegen-units = 256
[profile.release-with-debug]
inherits = "release"
debug = true