build: rename aya-lsp to aya-lsp-protocol to avoid confusion

since we used to have a module named `lsp`
aya-prover · Sep 26, 2023 · f00597c · f00597c
1 parent 5241262
commit f00597c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -39,7 +39,7 @@ aya-ij-core = { group = "org.aya-prover.upstream", name = "ij-parsing-core", ver
 aya-ij-text = { group = "org.aya-prover.upstream", name = "ij-util-text", version.ref = "build-util" }
 aya-ij-wrapper = { group = "org.aya-prover.upstream", name = "ij-parsing-wrapper", version.ref = "build-util" }
 aya-commonmark = { group = "org.aya-prover", name = "commonmark", version.ref = "commonmark" }
-aya-lsp = { group = "org.aya-prover.upstream", name = "javacs-protocol", version.ref = "build-util" }
+aya-lsp-protocol = { group = "org.aya-prover.upstream", name = "javacs-protocol", version.ref = "build-util" }
 aya-build-util = { group = "org.aya-prover.upstream", name = "build-util", version.ref = "build-util" }
 aya-build-jflex = { group = "org.aya-prover.upstream", name = "build-util-jflex", version.ref = "build-util" }
 aya-guest0x0 = { group = "org.aya-prover.guest0x0", name = "cubical", version.ref = "guest0x0" }

diff --git a/ide-lsp/build.gradle.kts b/ide-lsp/build.gradle.kts
@@ -10,7 +10,7 @@ CommonTasks.fatJar(project, Constants.mainClassQName)
 dependencies {
   // NOTE: use `api`. IntelliJ plugin needs it temporarily (should depend on ide instead of lsp).
   api(project(":ide"))
-  api(libs.aya.lsp)
+  api(libs.aya.lsp.protocol)
   implementation(project(":cli-console"))
   implementation(libs.picocli.runtime)
   annotationProcessor(libs.picocli.codegen)