2023-01-29 18:46:22 -06:00
|
|
|
[workspace]
|
2023-03-07 16:36:04 -06:00
|
|
|
members = ["kubi", "kubi-server", "kubi-shared", "kubi-logging"]
|
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
|