2021-02-12 23:15:09 +08:00
|
|
|
[workspace]
|
2021-05-25 23:09:14 +08:00
|
|
|
members = ["milli", "http-ui", "benchmarks", "infos", "helpers", "search"]
|
2021-02-12 23:15:09 +08:00
|
|
|
default-members = ["milli"]
|
2020-06-20 00:24:03 +08:00
|
|
|
|
2020-05-26 02:39:53 +08:00
|
|
|
[profile.release]
|
|
|
|
debug = true
|
2020-06-19 00:37:57 +08:00
|
|
|
|
|
|
|
[profile.bench]
|
|
|
|
debug = true
|
2021-06-08 17:18:49 +08:00
|
|
|
|
|
|
|
# Set the settings for build scripts and proc-macros.
|
|
|
|
[profile.dev.build-override]
|
|
|
|
opt-level = 3
|
|
|
|
[profile.release.build-override]
|
|
|
|
opt-level = 3
|
|
|
|
[profile.bench.build-override]
|
|
|
|
opt-level = 3
|
|
|
|
[profile.test.build-override]
|
|
|
|
opt-level = 3
|