2018-12-30 20:08:29 +00:00
|
|
|
[workspace]
|
|
|
|
|
members = [
|
2020-05-30 08:22:35 +00:00
|
|
|
"egui",
|
|
|
|
|
"egui_glium",
|
2020-07-17 09:05:57 +00:00
|
|
|
"egui_web",
|
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]
|
2020-05-21 08:31:22 +00:00
|
|
|
# lto = true # VERY slightly smaller wasm
|
|
|
|
|
# opt-level = 's' # 10-20% smaller wasm compared to `opt-level = 3`
|
|
|
|
|
# opt-level = 1 # very slow and big wasm. Don't do this.
|
|
|
|
|
opt-level = 2 # fast and small wasm, basically same as `opt-level = 's'`
|
|
|
|
|
# opt-level = 3 # unecessarily large wasm for no performance gain
|
