diff --git a/org.eventb.texteditor.parsers/.classpath b/org.eventb.texteditor.parsers/.classpath index 3de90f287e14f5376c4bf47306533a5ea43620df..9b2dde81e470d298cd314c6c0ee8b3d3b3b6123d 100644 --- a/org.eventb.texteditor.parsers/.classpath +++ b/org.eventb.texteditor.parsers/.classpath @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <classpath> - <classpathentry exported="true" kind="lib" path="lib/bparser-2.4.22-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.28-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/bparser-2.4.29-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.29-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/guava-14.0.1.jar"/> <classpathentry exported="true" kind="lib" path="lib/jsr305-1.3.9.jar"/> - <classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.22-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.22-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.29-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.29-SNAPSHOT.jar"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="src" path="src"/> diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF index 2e1dbbaaf7461e505f6ca447e0fb1bfec3dc2845..b8ac93019b343cd3d26d77c52fcdb639f755cf82 100644 --- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF +++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF @@ -7,13 +7,13 @@ 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.22-SNAPSHOT.jar, - lib/eventbstruct-2.4.28-SNAPSHOT.jar, +Bundle-ClassPath: ., + lib/bparser-2.4.29-SNAPSHOT.jar, + lib/eventbstruct-2.4.29-SNAPSHOT.jar, lib/guava-14.0.1.jar, lib/jsr305-1.3.9.jar, - lib/parserbase-2.4.22-SNAPSHOT.jar, - lib/prologlib-2.4.22-SNAPSHOT.jar, - . + lib/parserbase-2.4.29-SNAPSHOT.jar, + lib/prologlib-2.4.29-SNAPSHOT.jar Export-Package: com.google.common.annotations, com.google.common.base, com.google.common.base.internal, diff --git a/org.eventb.texteditor.parsers/build.gradle b/org.eventb.texteditor.parsers/build.gradle index 6deec4ade90b886e83ea90e2bd167433cc5a293b..0a35fbf9bcf93c13ce6171fa21c526ffe11d845b 100644 --- a/org.eventb.texteditor.parsers/build.gradle +++ b/org.eventb.texteditor.parsers/build.gradle @@ -8,10 +8,10 @@ repositories { } } -def parser_version = '2.4.28-SNAPSHOT' +def parser_version = '2.4.29-SNAPSHOT' dependencies { - compile group: "de.prob", name: "bparser", version: '2.4.22-SNAPSHOT', changing: true + compile group: "de.prob", name: "bparser", version: parser_version, changing: true compile group: "de.prob", name: "eventbstruct", version: parser_version, changing: true compile 'com.google.guava:guava:14.0.1'// Apache Licence 2.0 } diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties index 3d26c16ae98fdebc3fab80622be161a3dc0158d5..ab2f07a2b49f68d6e1ac1de503b77d4a0af5d8fb 100644 --- a/org.eventb.texteditor.parsers/build.properties +++ b/org.eventb.texteditor.parsers/build.properties @@ -2,4 +2,10 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ lib/,\ - . + .,\ + lib/bparser-2.4.29-SNAPSHOT.jar,\ + lib/eventbstruct-2.4.29-SNAPSHOT.jar,\ + lib/guava-14.0.1.jar,\ + lib/jsr305-1.3.9.jar,\ + lib/parserbase-2.4.29-SNAPSHOT.jar,\ + lib/prologlib-2.4.29-SNAPSHOT.jar