From f5cda1df1d75e8557d895e765381585a0e232ab7 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 24 Feb 2016 14:47:32 +0100
Subject: [PATCH] 1.0.8 Release
---
build.gradle | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/build.gradle b/build.gradle
index d2e5945..383917d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,7 +4,7 @@ apply plugin: 'maven'
apply plugin: 'jacoco'
apply plugin: 'findbugs'
-project.version = '1.0.8-SNAPSHOT'
+project.version = '1.0.8'
project.group = 'de.hhu.stups'
project.archivesBaseName = "tla2bAST"
@@ -18,6 +18,10 @@ repositories {
name "sonatype snapshots"
url "https://oss.sonatype.org/content/repositories/snapshots"
}
+ maven {
+ name "sonatype releases"
+ url "https://oss.sonatype.org/content/repositories/releases"
+ }
}
configurations.all {
@@ -25,8 +29,7 @@ configurations.all {
}
def parser_version = '2.5.1'
-def prob_version = '2.0.0-SNAPSHOT'
-def tlatools_version = '1.0.2-SNAPSHOT'
+def tlatools_version = '1.0.2'
dependencies {
@@ -38,7 +41,6 @@ dependencies {
compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
- //testCompile (group: 'de.hhu.stups', name: 'de.prob2.kernel', version: prob_version)
testCompile (group: 'junit', name: 'junit', version: '4.+')
}
--
GitLab