mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
Rename shared extractor
It is now called `tree-sitter-extractor`, to make it clearer that it builds on tree-sitter grammars.
This commit is contained in:
@@ -18,4 +18,4 @@ tracing = "0.1"
|
|||||||
tracing-subscriber = { version = "0.3.16", features = ["env-filter"] }
|
tracing-subscriber = { version = "0.3.16", features = ["env-filter"] }
|
||||||
rayon = "1.7.0"
|
rayon = "1.7.0"
|
||||||
regex = "1.7.2"
|
regex = "1.7.2"
|
||||||
codeql-extractor = { path = "../../shared/extractor" }
|
codeql-extractor = { path = "../../shared/tree-sitter-extractor" }
|
||||||
|
|||||||
@@ -17,4 +17,4 @@ rayon = "1.5.0"
|
|||||||
regex = "1.7.1"
|
regex = "1.7.1"
|
||||||
encoding = "0.2"
|
encoding = "0.2"
|
||||||
lazy_static = "1.4.0"
|
lazy_static = "1.4.0"
|
||||||
codeql-extractor = { path = "../../shared/extractor" }
|
codeql-extractor = { path = "../../shared/tree-sitter-extractor" }
|
||||||
|
|||||||
@@ -5,4 +5,4 @@ image = "centos/devtoolset-7-toolchain-centos7"
|
|||||||
# Provide the path to the shared extractor
|
# Provide the path to the shared extractor
|
||||||
# Cross mounts this directory as a volume, so builds inside the docker container
|
# Cross mounts this directory as a volume, so builds inside the docker container
|
||||||
# can see it.
|
# can see it.
|
||||||
volumes = ["__CODEQL-EXTRACTOR=../../shared/extractor"]
|
volumes = ["__CODEQL-EXTRACTOR=../../shared/tree-sitter-extractor"]
|
||||||
|
|||||||
Reference in New Issue
Block a user