From e1203da532775562fecc781baa5dd01092345431 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 27 May 2014 14:04:03 +0200
Subject: [PATCH] path to windows libs
---
build.gradle | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/build.gradle b/build.gradle
index 5b7abb90..1575c67c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -93,8 +93,8 @@ task downloadCli << {
}
def targetdir = dir+"windows/"
- def targetzip = targetdir+"windowslib.zip"
- download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
+ def targetzip = targetdir+"windowslib32.zip"
+ download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib32.zip",targetzip)
FileTree zip = zipTree(targetzip)
copy {
from zip
@@ -128,8 +128,8 @@ task downloadCli2 ( type: Exec ) {
}
def targetdir = dir+"windows/"
- def targetzip = targetdir+"windowslib.zip"
- download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
+ def targetzip = targetdir+"windowslib32.zip"
+ download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib32.zip",targetzip)
FileTree zip = zipTree(targetzip)
copy {
from zip
--
GitLab