2022-05-15 12:11:38 -04:00
|
|
|
[workspace]
|
|
|
|
|
members = [
|
2023-03-02 16:08:37 -05:00
|
|
|
"ggdt",
|
2023-04-07 14:21:27 -04:00
|
|
|
"ggdt_imgui",
|
2022-05-15 12:11:38 -04:00
|
|
|
"examples/*",
|
|
|
|
|
]
|
2023-04-06 21:15:17 -04:00
|
|
|
|
|
|
|
|
# some stuff is becoming noticably slow with default dev profile settings (opt-level = 0). especially any of the
|
|
|
|
|
# fancier triangle_2d drawing stuff. while there are many optimizations still left to be made, it seems like a good
|
|
|
|
|
# compromise on build time vs optimizations to keep opt-level at 1 while actively developing.
|
|
|
|
|
[profile.dev]
|
|
|
|
|
opt-level = 1
|
