mirror of
https://github.com/zed-industries/zed.git
synced 2024-09-16 00:47:39 +03:00
19 lines
997 B
TOML
19 lines
997 B
TOML
[workspace]
|
|
members = ["zed", "gpui", "gpui_macros", "fsevent", "scoped_pool"]
|
|
|
|
[patch.crates-io]
|
|
async-task = {git = "https://github.com/zed-industries/async-task", rev = "341b57d6de98cdfd7b418567b8de2022ca993a6e"}
|
|
tree-sitter = {git = "https://github.com/tree-sitter/tree-sitter", rev = "a61f25bc58e3affe81aaacaaf5d9b6150a5e90ef"}
|
|
|
|
# TODO - Remove when a version is released with this PR: https://github.com/servo/core-foundation-rs/pull/457
|
|
cocoa = {git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737"}
|
|
cocoa-foundation = {git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737"}
|
|
core-foundation = {git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737"}
|
|
core-graphics = {git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737"}
|
|
|
|
[profile.dev]
|
|
split-debuginfo = "unpacked"
|
|
|
|
[profile.release]
|
|
debug = true
|