From 31e14f05c47bfb904ae98a822ef8ce3d52909278 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 14 Sep 2015 09:17:45 +0200
Subject: [PATCH] Update build.gradle

---
 build.gradle | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 5f8ba33..0a5d562 100644
--- a/build.gradle
+++ b/build.gradle
@@ -17,6 +17,11 @@ configurations {
     sablecc
 }
 
+configurations {
+    kodkod
+}
+
+
 sourceSets {
     main {
         java {
@@ -30,7 +35,7 @@ sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 dependencies {
     sablecc 'de.hhu.stups:sablecc:3.2.10'
     compile 'de.hhu.stups:prologlib:2.4.40'
-    compile name: 'kodkod'
+    kodkod name: 'kodkod'
     compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
     testCompile 'junit:junit:4.8.2'
  }
@@ -47,6 +52,7 @@ task genParser(type:JavaExec) {
 
 compileJava {
  dependsOn = ['genParser']
+ compileClasspath += kodkod
 }
 
 test {
-- 
GitLab