From 92adbc80bb80cdeebf15d87da9fe6f167c84e042 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 18 Aug 2014 18:02:35 +0200
Subject: [PATCH] change parser version (runtime error?)
---
org.eventb.texteditor.parsers/.classpath | 1 +
.../META-INF/MANIFEST.MF | 27 +++----------------
.../build.properties | 3 ++-
3 files changed, 7 insertions(+), 24 deletions(-)
diff --git a/org.eventb.texteditor.parsers/.classpath b/org.eventb.texteditor.parsers/.classpath
index 8af1909..d26fb1b 100644
--- a/org.eventb.texteditor.parsers/.classpath
+++ b/org.eventb.texteditor.parsers/.classpath
@@ -1,5 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
+ <classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.22-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/guava-14.0.1.jar"/>
<classpathentry exported="true" kind="lib" path="lib/bparser-2.4.28-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.28-SNAPSHOT.jar"/>
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 687e00c..f490b4c 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,12 +7,12 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.7
-Bundle-ClassPath: lib/bparser-2.4.28-SNAPSHOT.jar,
+Bundle-ClassPath: lib/bparser-2.4.22-SNAPSHOT.jar,
lib/eventbstruct-2.4.28-SNAPSHOT.jar,
lib/jsr305-1.3.9.jar,
- lib/parserbase-2.4.28-SNAPSHOT.jar,
- lib/prologlib-2.4.28-SNAPSHOT.jar,
- lib/guava-14.0.1.jar
+ lib/parserbase-2.4.22-SNAPSHOT.jar,
+ lib/guava-14.0.1.jar,
+ lib/prologlib-2.4.22-SNAPSHOT.jar
Export-Package: com.google.common.annotations,
com.google.common.base,
com.google.common.base.internal,
@@ -26,31 +26,12 @@ Export-Package: com.google.common.annotations,
com.google.common.primitives,
com.google.common.reflect,
com.google.common.util.concurrent,
- de.be4.classicalb.core.parser,
- de.be4.classicalb.core.parser.analysis,
- de.be4.classicalb.core.parser.analysis.checking,
- de.be4.classicalb.core.parser.analysis.pragma,
- de.be4.classicalb.core.parser.analysis.pragma.internal,
- de.be4.classicalb.core.parser.analysis.prolog,
- de.be4.classicalb.core.parser.analysis.transforming,
- de.be4.classicalb.core.parser.exceptions,
- de.be4.classicalb.core.parser.lexer,
- de.be4.classicalb.core.parser.node,
- de.be4.classicalb.core.parser.parser,
- de.be4.classicalb.core.pragma.analysis,
- de.be4.classicalb.core.pragma.lexer,
- de.be4.classicalb.core.pragma.node,
- de.be4.classicalb.core.preparser.analysis,
- de.be4.classicalb.core.preparser.lexer,
- de.be4.classicalb.core.preparser.node,
- de.be4.classicalb.core.preparser.parser,
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,
- de.prob.parserbase,
de.prob.prolog.match,
de.prob.prolog.output,
de.prob.prolog.term,
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 75e0f3c..cef44f8 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -1,4 +1,5 @@
output.. = bin/
bin.includes = META-INF/,\
lib/,\
- lib/guava-14.0.1.jar
+ lib/guava-14.0.1.jar,\
+ lib/prologlib-2.4.22-SNAPSHOT.jar
--
GitLab