From 13fa4d33c490d002c8590861eebb40f2e1c1e075 Mon Sep 17 00:00:00 2001 From: hansen <dominik_hansen@web.de> Date: Tue, 22 Oct 2013 22:30:58 +0200 Subject: [PATCH] download tla2tools --- build.gradle | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 8ba9d6e..6925a32 100644 --- a/build.gradle +++ b/build.gradle @@ -53,7 +53,6 @@ jar { manifest.mainAttributes("Main-Class" : 'de.b2tla.B2TLA') manifest.mainAttributes("Class-Path": './tla/ tla2tools.jar') - task b2tla(dependsOn: build) << { copy { from('build/libs/') @@ -63,3 +62,8 @@ task b2tla(dependsOn: build) << { } } +task all(dependsOn: b2tla) <<{ + ant.get(src: 'http://tla.msr-inria.inria.fr/tlatoolbox/dist/tla2tools.jar', verbose:true, dest: 'build/b2tla/') +} + + -- GitLab