From 637821acf427a253d5cd460c98365324ea6082c5 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 19 Jul 2024 15:41:48 +0200
Subject: [PATCH] Add Gson and lsp4j dependencies as required after last merge
---
tlatools/org.lamport.tlatools/build.gradle | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index ef93cc2d6..b10b8adf0 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -13,6 +13,11 @@ repositories {
mavenCentral()
}
+dependencies {
+ implementation(group: "com.google.code.gson", name: "gson", version: "2.8.6")
+ implementation(group: "org.eclipse.lsp4j", name: "org.eclipse.lsp4j.debug", version: "0.10.0")
+}
+
sourceSets {
main {
java {
--
GitLab