diff --git a/build.gradle b/build.gradle index 87b84c214bce3a742e71f7a04e09a2b4f45eb0fa..8624fa980a73f60bf5fbf71ee4c37a0be069a03c 100644 --- a/build.gradle +++ b/build.gradle @@ -17,7 +17,39 @@ parentID = groupID+".parent" // will be the same as the folder name targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/"] // ps Repository with Target Definition File -apply from: 'local_tasks.gradle' apply from: 'tycho_build.gradle' +// Local tasks +def download(address,target) { + def file = new FileOutputStream(target) + def out = new BufferedOutputStream(file) + out << new URL(address).openStream() + out.close() +} +task downloadCli << { + dir = 'de.prob.core/prob/' + delete file(dir) + new File(dir).mkdirs() + + ['leopard':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each { + n = it.getKey() + + 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) + } + +} + +task collectArtifacts(type:Copy) { + from groupID+'.repository/target/repository/' + into 'updatesite' +} diff --git a/local_tasks.gradle b/local_tasks.gradle deleted file mode 100644 index af87397f2fc6688747fc6dc97f431953c81753ea..0000000000000000000000000000000000000000 --- a/local_tasks.gradle +++ /dev/null @@ -1,34 +0,0 @@ -def download(address,target) { - def file = new FileOutputStream(target) - def out = new BufferedOutputStream(file) - out << new URL(address).openStream() - out.close() -} - - -task downloadCli << { - dir = 'de.prob.core/prob/' - delete file(dir) - new File(dir).mkdirs() - - ['leopard':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each { - n = it.getKey() - - 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) - } - -} - -task collectArtifacts(type:Copy) { - from groupID+'.repository/target/repository/' - into 'updatesite' -} \ No newline at end of file