mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
37 lines
1.2 KiB
TOML
37 lines
1.2 KiB
TOML
[workspace]
|
|
members = [
|
|
"ports/winit",
|
|
"ports/gstplugin",
|
|
"ports/libsimpleservo/capi/",
|
|
"ports/libsimpleservo/jniapi/",
|
|
"ports/libmlservo/",
|
|
"tests/unit/*",
|
|
]
|
|
exclude = [".cargo"]
|
|
|
|
[profile.release]
|
|
opt-level = 3
|
|
# Uncomment to profile on Linux:
|
|
# debug = true
|
|
# lto = false
|
|
|
|
[patch.crates-io]
|
|
# If you need to temporarily test Servo with a local fork of some upstream
|
|
# crate, add that here. Use the form:
|
|
#
|
|
# <crate> = { path = "/path/to/local/checkout" }
|
|
#
|
|
# Or for a git dependency:
|
|
#
|
|
# [patch."https://github.com/servo/<repository>"]
|
|
# <crate> = { path = "/path/to/local/checkout" }
|
|
|
|
# This is here to dedupe winapi since mio 0.6 is still using winapi 0.2.
|
|
mio = { git = "https://github.com/servo/mio.git", branch = "servo-mio-0.6.22" }
|
|
# fork that bumps crates since the original repo is archived.
|
|
immeta = { git = "https://github.com/fabricedesre/immeta.git" }
|
|
|
|
# https://github.com/servo/servo/issues/27515#issuecomment-671474054
|
|
[patch."https://github.com/servo/webrender"]
|
|
webrender = { git = "https://github.com/jdm/webrender", branch = "crash-backtrace" }
|
|
webrender_api = { git = "https://github.com/jdm/webrender", branch = "crash-backtrace" }
|