2023-02-21 15:33:12 +01:00
|
|
|
[workspace]
|
|
|
|
members = ["dit", "stardit", "libdit", "libstardit"]
|
2024-03-15 00:19:14 +01:00
|
|
|
resolver = "2"
|
2022-08-22 01:24:26 +02:00
|
|
|
|
2024-03-15 12:28:26 +01:00
|
|
|
[profile.release]
|
|
|
|
opt-level = "z"
|
|
|
|
lto = true
|
|
|
|
codegen-units = 1
|
|
|
|
panic = "abort"
|
|
|
|
strip = true
|