2018-12-30 20:08:29 +00:00
|
|
|
[workspace]
|
|
|
|
|
members = [
|
2019-01-12 22:07:30 +00:00
|
|
|
"emigui",
|
2019-04-21 08:13:05 +00:00
|
|
|
"emigui_glium",
|
2019-01-12 22:07:30 +00:00
|
|
|
"emigui_wasm",
|
2019-03-12 21:59:55 +00:00
|
|
|
"example_glium",
|
2019-03-16 11:55:42 +00:00
|
|
|
"example_wasm",
|
2018-12-30 20:08:29 +00:00
|
|
|
]
|
2020-05-20 16:58:21 +00:00
|
|
|
|
|
|
|
|
[profile.release]
|
|
|
|
|
lto = true # very slightly smaller wasm
|
|
|
|
|
opt-level = 's' # 10-20% smaller wasm
|
