diff --git a/build.gradle b/build.gradle index 6925a3277043ffaba37cd206deae40f9bc5fafbe..030349a116c645fcaf14ef7813556d34e636f128 100644 --- a/build.gradle +++ b/build.gradle @@ -18,11 +18,15 @@ configurations { // configuration that holds jars to copy into lib def parser_version = '2.4.20-SNAPSHOT' dependencies { - compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') + //compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') + compile (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT') + compile (group: 'de.prob', name: 'prologlib', version: parser_version) compile (group: 'de.prob', name: 'parserbase', version: parser_version) compile (group: 'de.prob', name: 'bparser', version: parser_version) compile (group: 'de.prob', name: 'ltlparser', version: parser_version) + + //compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT') testCompile (group: 'junit', name: 'junit', version: '4.+') testCompile (group: 'de.prob', name: 'tla2b', version: '1.0.3-SNAPSHOT') @@ -51,7 +55,7 @@ jar { from configurations.releaseJars.collect { it.isDirectory() ? it : zipTree(it) } } manifest.mainAttributes("Main-Class" : 'de.b2tla.B2TLA') -manifest.mainAttributes("Class-Path": './tla/ tla2tools.jar') +manifest.mainAttributes("Class-Path": './tla/ tlatools.jar') task b2tla(dependsOn: build) << { copy {