2023-01-29 18:46:22 -06:00
|
|
|
[workspace]
|
2023-11-19 12:30:06 -06:00
|
|
|
members = ["kubi", "kubi-server", "kubi-shared", "kubi-logging", "kubi-pool"]
|
2023-11-20 16:53:51 -06:00
|
|
|
default-members = ["kubi"]
|
2023-01-29 18:46:22 -06:00
|
|
|
resolver = "2"
|
|
|
|
|
|
2023-02-08 20:31:36 -06:00
|
|
|
[profile.release-with-debug]
|
|
|
|
|
inherits = "release"
|
|
|
|
|
debug = true
|
|
|
|
|
|
2023-01-29 18:46:22 -06:00
|
|
|
[profile.dev]
|
|
|
|
|
opt-level = 1
|
|
|
|
|
|
|
|
|
|
[profile.dev.package."*"]
|
|
|
|
|
opt-level = 1
|
|
|
|
|
|
2023-05-19 19:32:32 -05:00
|
|
|
[profile.dev.package.uflow]
|
|
|
|
|
opt-level = 3
|
|
|
|
|
|
2023-01-29 18:46:22 -06:00
|
|
|
[profile.dev.package.glium]
|
|
|
|
|
opt-level = 3
|
|
|
|
|
|
|
|
|
|
[profile.dev.package.bracket-noise]
|
|
|
|
|
opt-level = 3
|
|
|
|
|
|
|
|
|
|
[profile.dev.package.rayon]
|
|
|
|
|
opt-level = 3
|
