mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
34 lines
1,020 B
TOML
34 lines
1,020 B
TOML
[workspace]
|
|
members = [
|
|
"ports/glutin",
|
|
"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" }
|
|
|
|
# Those are here to dedupe winapi since mio is still using winapi 0.2.
|
|
mio = { git = "https://github.com/servo/mio.git", branch = "servo" }
|
|
# https://github.com/retep998/winapi-rs/pull/816
|
|
winapi = { git = "https://github.com/servo/winapi-rs", branch = "patch-1" }
|
|
surfman-chains = { git = "https://github.com/asajeffrey/surfman-chains" }
|
|
surfman = { git = "https://github.com/servo/surfman" }
|