2022-01-27 16:39:58 +00:00
|
|
|
[package]
|
2022-02-27 15:15:38 +00:00
|
|
|
name = "search"
|
2022-01-27 16:39:58 +00:00
|
|
|
version = "0.1.0"
|
|
|
|
edition = "2021"
|
2023-01-18 20:28:02 +00:00
|
|
|
publish = false
|
2022-01-27 16:39:58 +00:00
|
|
|
|
|
|
|
[lib]
|
2022-02-27 15:15:38 +00:00
|
|
|
path = "src/search.rs"
|
2022-03-04 00:15:56 +00:00
|
|
|
doctest = false
|
2022-01-27 16:39:58 +00:00
|
|
|
|
|
|
|
[dependencies]
|
2023-06-28 03:46:08 +00:00
|
|
|
bitflags = "1"
|
2022-01-28 14:19:58 +00:00
|
|
|
collections = { path = "../collections" }
|
2022-01-27 16:39:58 +00:00
|
|
|
editor = { path = "../editor" }
|
|
|
|
gpui = { path = "../gpui" }
|
2022-02-25 09:27:45 +00:00
|
|
|
language = { path = "../language" }
|
2022-05-26 14:36:30 +00:00
|
|
|
menu = { path = "../menu" }
|
2022-02-23 11:38:36 +00:00
|
|
|
project = { path = "../project" }
|
2022-04-06 00:10:17 +00:00
|
|
|
settings = { path = "../settings" }
|
2022-01-28 00:16:51 +00:00
|
|
|
theme = { path = "../theme" }
|
2022-02-25 22:09:47 +00:00
|
|
|
util = { path = "../util" }
|
2022-01-27 16:39:58 +00:00
|
|
|
workspace = { path = "../workspace" }
|
2023-07-18 01:10:51 +00:00
|
|
|
semantic_index = { path = "../semantic_index" }
|
2023-04-25 00:41:55 +00:00
|
|
|
anyhow.workspace = true
|
|
|
|
futures.workspace = true
|
|
|
|
log.workspace = true
|
|
|
|
postage.workspace = true
|
|
|
|
serde.workspace = true
|
|
|
|
serde_derive.workspace = true
|
|
|
|
smallvec.workspace = true
|
|
|
|
smol.workspace = true
|
2023-05-19 16:13:31 +00:00
|
|
|
globset.workspace = true
|
2022-01-28 21:05:29 +00:00
|
|
|
|
|
|
|
[dev-dependencies]
|
2023-05-17 16:55:24 +00:00
|
|
|
client = { path = "../client", features = ["test-support"] }
|
2022-01-28 21:05:29 +00:00
|
|
|
editor = { path = "../editor", features = ["test-support"] }
|
|
|
|
gpui = { path = "../gpui", features = ["test-support"] }
|
2023-04-25 00:41:55 +00:00
|
|
|
serde_json.workspace = true
|
2022-01-28 21:05:29 +00:00
|
|
|
workspace = { path = "../workspace", features = ["test-support"] }
|
2023-04-25 00:41:55 +00:00
|
|
|
unindent.workspace = true
|