2021-06-29 22:32:52 -07:00
|
|
|
[workspace]
|
|
|
|
|
|
|
|
|
|
members = [
|
|
|
|
|
"theseus",
|
2022-02-21 21:01:45 -08:00
|
|
|
"theseus_cli",
|
|
|
|
|
"theseus_gui/src-tauri"
|
2022-03-06 10:55:51 -08:00
|
|
|
]
|
2023-03-24 11:59:18 -07:00
|
|
|
|
|
|
|
|
# Optimize for speed and reduce size on release builds
|
|
|
|
|
[profile.release]
|
|
|
|
|
codegen-units = 1
|
|
|
|
|
lto = true
|
|
|
|
|
strip = true
|
