2021-02-12 16:15:09 +01:00
|
|
|
[workspace]
|
2021-05-25 17:09:14 +02:00
|
|
|
members = ["milli", "http-ui", "benchmarks", "infos", "helpers", "search"]
|
2021-02-12 16:15:09 +01:00
|
|
|
default-members = ["milli"]
|
2020-06-19 18:24:03 +02:00
|
|
|
|
2021-06-08 11:59:44 +02:00
|
|
|
[profile.dev]
|
|
|
|
|
opt-level = 3
|
|
|
|
|
|
2020-05-25 20:39:53 +02:00
|
|
|
[profile.release]
|
|
|
|
|
debug = true
|
2020-06-18 18:37:57 +02:00
|
|
|
|
2021-06-08 11:39:10 +02:00
|
|
|
# Make sure that the build scripts and proc-macros are compiled with
|
|
|
|
|
# all the optimizations. It speeds up the zip crate that we use in the build.rs.
|
2021-06-08 11:18:49 +02:00
|
|
|
[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
|
