From c40678b06c09bec611d88061b114f4c4ddb76508 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Tue, 30 Apr 2024 10:22:42 +0200
Subject: [PATCH] fix jar file name for Makefile
---
build.gradle | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index c53aad5..2c92560 100644
--- a/build.gradle
+++ b/build.gradle
@@ -45,7 +45,8 @@ java {
withJavadocJar()
}
-jar {
+shadowJar {
+ archiveFileName = 'TLA2B.jar'
manifest {
attributes(
'Main-Class': 'de.tla2b.TLA2B'
--
GitLab