From 8980d4c2db26e6a8005c117d9309217321b2bdde Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 28 Feb 2020 10:05:40 +0100
Subject: [PATCH] increase parser version
---
Makefile | 2 +-
build.gradle | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Makefile b/Makefile
index b4cfbc2..3a79761 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java
+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java build.gradle
gradle createJar
install: build/libs/TLA2B.jar
cp build/libs/TLA2B.jar ../../prob_prolog/lib/
diff --git a/build.gradle b/build.gradle
index 5e0cbc0..822461b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -33,10 +33,10 @@ configurations.all {
def parser_version
if (project.version.endsWith("-SNAPSHOT")) {
- parser_version = '2.9.18-SNAPSHOT'
+ parser_version = '2.9.24-SNAPSHOT'
}
else {
- parser_version = '2.9.17'
+ parser_version = '2.9.23'
}
def tlatools_version = '1.0.2'
--
GitLab