From ace5c9759a3d97c17c1af78abd3071cb50faa8ee Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 17:46:48 +0100
Subject: [PATCH] Replace uses of newly deprecated Gradle features
---
tlatools/org.lamport.tlatools/build.gradle | 6 ++----
tlatools/org.lamport.tlatools/settings.gradle | 1 +
2 files changed, 3 insertions(+), 4 deletions(-)
create mode 100644 tlatools/org.lamport.tlatools/settings.gradle
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index f639b1a1b..0e34dfea6 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -5,13 +5,9 @@ apply plugin: "signing"
project.version = '1.1.0-SNAPSHOT'
project.group = 'de.hhu.stups'
-project.archivesBaseName = 'tlatools'
final isSnapshot = project.version.endsWith("-SNAPSHOT")
-project.sourceCompatibility = JavaVersion.VERSION_1_8
-project.targetCompatibility = JavaVersion.VERSION_1_8
-
repositories {
mavenCentral()
}
@@ -28,6 +24,8 @@ sourceSets {
}
java {
+ sourceCompatibility = JavaVersion.VERSION_1_8
+
withSourcesJar()
withJavadocJar()
}
diff --git a/tlatools/org.lamport.tlatools/settings.gradle b/tlatools/org.lamport.tlatools/settings.gradle
new file mode 100644
index 000000000..df3f06935
--- /dev/null
+++ b/tlatools/org.lamport.tlatools/settings.gradle
@@ -0,0 +1 @@
+rootProject.name = "tlatools"
--
GitLab