2022-12-14 13:58:44 +01:00
|
|
|
[workspace]
|
2024-11-04 14:38:25 +01:00
|
|
|
resolver = "2"
|
2022-12-01 18:04:03 +01:00
|
|
|
|
2026-04-22 17:42:05 +02:00
|
|
|
members = [
|
|
|
|
|
"store",
|
|
|
|
|
"clients/cli",
|
|
|
|
|
"clients/backbone-lib",
|
2026-04-25 16:49:25 +02:00
|
|
|
"clients/web",
|
2026-04-22 17:42:05 +02:00
|
|
|
"clients/web-game",
|
|
|
|
|
"clients/web-user-portal",
|
|
|
|
|
"server/protocol",
|
|
|
|
|
"server/relay-server",
|
|
|
|
|
"bot",
|
|
|
|
|
"spiel_bot",
|
|
|
|
|
]
|
|
|
|
|
|
2026-04-22 21:36:56 +02:00
|
|
|
default-members = [
|
|
|
|
|
"store",
|
|
|
|
|
"clients/cli",
|
|
|
|
|
"clients/backbone-lib",
|
|
|
|
|
"server/protocol",
|
|
|
|
|
"server/relay-server",
|
|
|
|
|
"bot",
|
|
|
|
|
"spiel_bot",
|
|
|
|
|
]
|
|
|
|
|
|
2026-04-22 17:42:05 +02:00
|
|
|
# For the server we will need opt-level='3'
|
|
|
|
|
[profile.release]
|
|
|
|
|
opt-level = 'z' # Minimum space
|
|
|
|
|
lto = "fat" # Aggressive Link Time Optimization
|
|
|
|
|
codegen-units = 1
|
