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