You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
418 B
26 lines
418 B
[workspace]
|
|
|
|
members = [ "dpc", "algebra", "r1cs-core", "r1cs-lib", "gm17", "snark-gadgets", "bench-utils" ]
|
|
|
|
[profile.release]
|
|
opt-level = 3
|
|
lto = "thin"
|
|
incremental = true
|
|
|
|
[profile.bench]
|
|
opt-level = 3
|
|
debug = false
|
|
rpath = false
|
|
lto = "thin"
|
|
incremental = true
|
|
debug-assertions = false
|
|
|
|
[profile.dev]
|
|
opt-level = 0
|
|
|
|
[profile.test]
|
|
opt-level = 3
|
|
lto = "thin"
|
|
incremental = true
|
|
debug-assertions = true
|
|
debug = true
|