From a6de60fb4fb83d4db95ff1009a8b36839cafbb46 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 12 Nov 2024 12:52:42 +0100
Subject: [PATCH] Add application plugin to allow gradle run
---
build.gradle | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 371bc81..e333a01 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,4 +1,5 @@
plugins {
+ id "application"
id 'java-library'
id 'eclipse'
id 'maven-publish'
@@ -44,10 +45,14 @@ java {
withJavadocJar()
}
+application {
+ mainClass = "de.tla2b.TLA2B"
+}
+
jar {
manifest {
attributes([
- "Main-Class": "de.tla2b.TLA2B",
+ "Main-Class": application.mainClass,
])
}
}
--
GitLab