From e96c3aaa12deb53453d138d6dfdb8b107a379461 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 14 Sep 2015 09:38:08 +0200
Subject: [PATCH] Update build.gradle
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 0a5d562..70f8ce9 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,6 +30,7 @@ sourceSets {
}
}
+sourceSets.main.compileClasspath += kodkod
sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
dependencies {
@@ -52,7 +53,6 @@ task genParser(type:JavaExec) {
compileJava {
dependsOn = ['genParser']
- compileClasspath += kodkod
}
test {
--
GitLab