From dbccc74fa6d02702a0ad7d6b273dc2d3602dc60b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 5 Oct 2016 12:12:28 +0200
Subject: [PATCH] add link to local kodkod.jar
---
build.gradle | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.gradle b/build.gradle
index 318980c..947e008 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,6 +37,7 @@ dependencies {
sablecc 'de.hhu.stups:sablecc:3.2.10'
compile 'de.hhu.stups:prologlib:2.4.40'
kodkod name: 'kodkod'
+ testCompile files('libs/kodkod.jar')
compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
testCompile 'junit:junit:4.8.2'
}
--
GitLab