From 014a8e5ad5c91027a6fb4783adde39853e55753b Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 24 Apr 2012 12:49:32 +0200
Subject: [PATCH] download libs for Windows
---
build.gradle | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/build.gradle b/build.gradle
index 8624fa98..ed0e79f4 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)
}
--
GitLab