diff --git a/build.gradle b/build.gradle
index 70f8ce9158fddebd1340fa3bbc8dd5e433f23728..5fd1d42ffeffe2cf0521b4e2e2e7ed463754bfd7 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')) {