diff --git a/build.gradle b/build.gradle index 8624fa980a73f60bf5fbf71ee4c37a0be069a03c..ed0e79f4d24614a557d864f1fa985b348548fbea 100644 --- a/build.gradle +++ b/build.gradle @@ -46,6 +46,16 @@ task downloadCli << { } delete file(targetzip) } + + targetdir = dir+"windows/" + targetzip = targetdir+"windowslib.zip" + download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip) + FileTree zip = zipTree(targetzip) + copy { + from zip + into targetdir + } + delete file(targetzip) }