From 29c429bf89ffa7fd539a85b580334a9bab59dc6d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 10 Jul 2023 16:22:33 +0200
Subject: [PATCH] Update eventbstruct parser to version 2.12.5
---
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 7 ++-----
org.eventb.texteditor.parsers/build.properties | 4 ++--
org.eventb.texteditor.parsers/pom.xml | 2 +-
3 files changed, 5 insertions(+), 8 deletions(-)
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 683c9b0..f9c5385 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,17 +7,14 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ClassPath: .,
- lib/eventbstruct-2.4.40.jar,
- lib/jsr305-1.3.9.jar
+ lib/eventbstruct-2.12.5.jar,
+ lib/sablecc-runtime-3.5.0.jar
Export-Package: de.be4.eventb.core.parser,
de.be4.eventb.core.parser.analysis,
de.be4.eventb.core.parser.lexer,
de.be4.eventb.core.parser.node,
de.be4.eventb.core.parser.parser,
de.hhu.stups.sablecc.patch,
- javax.annotation,
- javax.annotation.concurrent,
- javax.annotation.meta,
org.eventb.texteditor.parsers
Bundle-Vendor: Heinrich-Heine University Dusseldorf
Bundle-ActivationPolicy: lazy
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 0ddd378..11c5e12 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,5 +2,5 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
- lib/eventbstruct-2.4.40.jar,\
- lib/jsr305-1.3.9.jar
+ lib/eventbstruct-2.12.5.jar,\
+ lib/sablecc-runtime-3.5.0.jar
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 8753b12..d3ee254 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -16,7 +16,7 @@
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>eventbstruct</artifactId>
- <version>2.4.40</version>
+ <version>2.12.5</version>
</dependency>
</dependencies>
--
GitLab