2021-02-12 23:15:09 +08:00
|
|
|
[workspace]
|
2021-11-09 23:16:28 +08:00
|
|
|
members = ["milli", "filter-parser", "http-ui", "benchmarks", "infos", "helpers", "cli"]
|
2021-02-12 23:15:09 +08:00
|
|
|
default-members = ["milli"]
|
2020-06-20 00:24:03 +08:00
|
|
|
|
2021-06-08 17:59:44 +08:00
|
|
|
[profile.dev]
|
|
|
|
|
opt-level = 3
|
|
|
|
|
|
2020-05-26 02:39:53 +08:00
|
|
|
[profile.release]
|
|
|
|
|
debug = true
|
2020-06-19 00:37:57 +08:00
|
|
|
|
2021-06-08 17:39:10 +08: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 17:18:49 +08: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
|
2022-02-03 01:45:11 +08:00
|
|
|
|
|
|
|
|
[patch.crates-io]
|
|
|
|
|
fst = { git = "https://github.com/MarinPostma/fst.git", rev = "e6c606b7507e8cb5e502d1609f9b909b8690bac5" }
|
