From 9c1ba3ab91bbc3351e6f143540811cdbb924e4c6 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 14 Sep 2015 09:50:51 +0200
Subject: [PATCH] try to fix deployment

---
 build.gradle | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 70f8ce9..5fd1d42 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,7 +30,7 @@ sourceSets {
     }
 }
 
-sourceSets.main.compileClasspath += kodkod
+sourceSets.main.compileClasspath += configurations.kodkod
 sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 
 dependencies {
@@ -81,6 +81,7 @@ jar {
  include '**/*.dat'
  include '**/*.properties'
  from configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
+ from configurations.kodkod.collect { it.isDirectory() ? it : zipTree(it) }
 }
 
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
-- 
GitLab