From 8163d8ac3f3d1063d7190e99f4acfafa7ae575f9 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Wed, 26 Feb 2014 11:10:00 +0100
Subject: [PATCH] added TLC to jar
---
build.gradle | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.gradle b/build.gradle
index a58a7d6..377d90e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -31,6 +31,7 @@ dependencies {
testCompile (group: 'junit', name: 'junit', version: '4.+')
testCompile (group: 'de.prob', name: 'tla2b', version: '1.0.3-SNAPSHOT')
+ releaseJars (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT')
releaseJars (group: 'de.prob', name: 'prologlib', version: parser_version)
releaseJars (group: 'de.prob', name: 'parserbase', version: parser_version)
releaseJars (group: 'de.prob', name: 'bparser', version: parser_version)
--
GitLab