From 992d39ebf4a421cfb43da4e2f928a12d783a3e02 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 13 Mar 2014 11:16:09 +0100
Subject: [PATCH] Updated project name
---
build.gradle | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/build.gradle b/build.gradle
index 3093b35..f83bb03 100644
--- a/build.gradle
+++ b/build.gradle
@@ -59,17 +59,17 @@ jar {
manifest.mainAttributes("Main-Class" : 'de.b2tla.B2TLA')
manifest.mainAttributes("Class-Path": './tla/ tlatools.jar')
-task b2tla(dependsOn: build) << {
+task tlc4b(dependsOn: build) << {
copy {
from('build/libs/')
- into('build/b2tla')
- include('b2tla-'+project.version+'.jar')
- rename('b2tla-(.+)', 'B2TLA.jar')
+ into('build/tlc4b')
+ include('tlc4b-'+project.version+'.jar')
+ rename('tlc4b-(.+)', 'TLC4B.jar')
}
}
-task all(dependsOn: b2tla) <<{
- ant.get(src: 'http://tla.msr-inria.inria.fr/tlatoolbox/dist/tla2tools.jar', verbose:true, dest: 'build/b2tla/')
+task all(dependsOn: tlc4b) <<{
+ ant.get(src: 'http://tla.msr-inria.inria.fr/tlatoolbox/dist/tla2tools.jar', verbose:true, dest: 'build/tlc4b/')
}
--
GitLab