From a2129aa91543cdc37f3df065ddb90bd248af4b35 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 27 Mar 2013 15:50:22 +0100
Subject: [PATCH] re-add file to check if it fixes jenkins build
---
de.prob.core/build.gradle | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
create mode 100644 de.prob.core/build.gradle
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
new file mode 100644
index 00000000..44cab690
--- /dev/null
+++ b/de.prob.core/build.gradle
@@ -0,0 +1,17 @@
+apply plugin: 'java'
+
+def parser_version = '2.4.18-SNAPSHOT'
+
+dependencies {
+ compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
+ compile group: "de.prob", name: "bparser", version: parser_version , changing: true
+ compile group: "de.prob", name: "cliparser", version: parser_version , changing: true
+ compile group: "de.prob", name: "ltlparser", version: parser_version , changing: true
+ compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
+ compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
+ compile group: "de.prob", name: "unicode", version: parser_version , changing: true
+ compile 'jgrapht:jgrapht:0.8.3'
+ compile 'commons-lang:commons-lang:2.6'
+ compile 'commons-codec:commons-codec:1.6'
+ compile 'com.thoughtworks.xstream:xstream:1.4.3'
+}
\ No newline at end of file
--
GitLab