Skip to content
Snippets Groups Projects
Commit 4d3ff9a1 authored by dgelessus's avatar dgelessus
Browse files

Inline tlatools_version in build.gradle

parent dfbeedf4
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
build.gradle
+ 1
− 2
View file @ 4d3ff9a1
...@@ -27,12 +27,11 @@ configurations.all { ...@@ -27,12 +27,11 @@ configurations.all {
} }
def parser_version = '2.9.25' def parser_version = '2.9.25'
def tlatools_version = '1.0.2'
dependencies { dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0') implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0')
implementation(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version) implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.2')
implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version) implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version) implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment