From e418d4b753b20ee59205a73b57bae10c217b84da Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Tue, 11 Nov 2014 10:54:49 +0100
Subject: [PATCH] updated gradle file
---
build.gradle | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index d68f797..2e6b66c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -76,8 +76,12 @@ jar {
from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) }
}
-manifest.mainAttributes("Main-Class" : 'de.tla2b.TLA2B')
-manifest.mainAttributes("Class-Path": './tla/ tlatools.jar')
+jar {
+ manifest {
+ attributes "Main-Class" : 'de.tla2b.TLA2B'
+ attributes "Class-Path": './tla/ tlatools.jar'
+ }
+}
task tla2b(dependsOn: build) << {
copy {
--
GitLab