2018-12-30 20:08:29 +00:00
|
|
|
[workspace]
|
|
|
|
|
members = [
|
2020-12-29 16:54:52 +00:00
|
|
|
"egui_demo_app",
|
2020-12-29 12:40:11 +00:00
|
|
|
"egui_demo_lib",
|
2020-05-30 08:22:35 +00:00
|
|
|
"egui_glium",
|
2020-07-17 09:05:57 +00:00
|
|
|
"egui_web",
|
2020-07-23 10:01:48 +00:00
|
|
|
"egui",
|
2021-01-10 10:37:47 +00:00
|
|
|
"emath",
|
2020-12-29 13:15:46 +00:00
|
|
|
"epi",
|
2018-12-30 20:08:29 +00:00
|
|
|
]
|
2020-05-20 16:58:21 +00:00
|
|
|
|
2020-07-23 10:01:48 +00:00
|
|
|
[patch.crates-io]
|
|
|
|
|
egui = { path = 'egui' }
|
|
|
|
|
egui_glium = { path = 'egui_glium' }
|
|
|
|
|
egui_web = { path = 'egui_web' }
|
|
|
|
|
|
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
|
