From 879e315689c45adf623d00dc625878e9e9ba5c95 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 21 May 2015 14:45:46 +0200
Subject: [PATCH] updated gradle file
---
tlatools/build.gradle | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 15bff6a6b..51082eda7 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -12,9 +12,7 @@ repositories {
}
dependencies {
- testCompile (group: 'junit', name: 'junit', version: '4.+')
- testCompile (group: 'org.easymock', name: 'easymock', version: '3.1')
- compile (group: 'javax.mail', name: 'mail', version :'1.4.1')
+ testCompile files ('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', 'lib/javax.mail.jar')
}
sourceSets {
--
GitLab