2021-02-20 20:02:34 +03:00
|
|
|
[workspace]
|
2021-10-04 22:22:21 +03:00
|
|
|
members = ["crates/*"]
|
|
|
|
|
default-members = ["crates/zed"]
|
2021-04-02 20:02:09 +03:00
|
|
|
|
|
|
|
|
[patch.crates-io]
|
2021-05-28 23:09:57 +03:00
|
|
|
async-task = { git = "https://github.com/zed-industries/async-task", rev = "341b57d6de98cdfd7b418567b8de2022ca993a6e" }
|
2021-05-05 05:04:11 +03:00
|
|
|
# TODO - Remove when a version is released with this PR: https://github.com/servo/core-foundation-rs/pull/457
|
2021-05-28 23:09:57 +03:00
|
|
|
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" }
|
2021-07-07 19:49:38 +03:00
|
|
|
core-foundation-sys = { git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737" }
|
2021-05-28 23:09:57 +03:00
|
|
|
core-graphics = { git = "https://github.com/servo/core-foundation-rs", rev = "025dcb3c0d1ef01530f57ef65f3b1deb948f5737" }
|
2021-04-20 01:00:10 +03:00
|
|
|
|
|
|
|
|
[profile.dev]
|
|
|
|
|
split-debuginfo = "unpacked"
|
2021-05-07 15:42:56 +03:00
|
|
|
|
|
|
|
|
[profile.release]
|
|
|
|
|
debug = true
|
