From dd1f7dd405e5cb235387c0dd989c5b18a081416c Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Fri, 23 Mar 2012 11:11:31 +0100 Subject: [PATCH] add cli download task --- build.gradle | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/build.gradle b/build.gradle index 3c4cd736..bc582b5d 100644 --- a/build.gradle +++ b/build.gradle @@ -53,6 +53,31 @@ apply plugin: 'base' +def download(address,target) { + def file = new FileOutputStream(target) + def out = new BufferedOutputStream(file) + out << new URL(address).openStream() + out.close() +} + + +task downloadCli << { + ['leopard':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each { + n = it.getKey() + dir = 'de.prob.core/prob/' + targetdir = dir+it.getValue() + targetzip = dir+"probcli_${n}.zip" + url = "http://nightly.cobra.cs.uni-duesseldorf.de/cli/probcli_${n}.zip" + download(url,targetzip) + FileTree zip = zipTree(targetzip) + copy { + from zip + into targetdir + } + delete file(targetzip) + } + +} subprojects { -- GitLab