diff --git a/build.gradle b/build.gradle index 8ba9d6eec8a01c9e3529dd12cfea82eb0fc38926..6925a3277043ffaba37cd206deae40f9bc5fafbe 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/') +} + +