mirror of https://github.com/emilk/egui.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
23 lines
586 B
23 lines
586 B
[workspace]
|
|
members = [
|
|
"demo_glium",
|
|
"demo_web",
|
|
"egui_glium",
|
|
"egui_web",
|
|
"egui",
|
|
"example_glium",
|
|
"example_web",
|
|
]
|
|
|
|
|
|
[patch.crates-io]
|
|
egui = { path = 'egui' }
|
|
egui_glium = { path = 'egui_glium' }
|
|
egui_web = { path = 'egui_web' }
|
|
|
|
[profile.release]
|
|
# 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
|
|
|