From df39efd6b3fba33ad7b79b0131e5556e2ed0593c Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Wed, 19 Dec 2012 12:08:49 +0100 Subject: [PATCH] updated classpath to use new parser version --- de.prob.core/.classpath | 14 +++++++------- de.prob.core/META-INF/MANIFEST.MF | 3 +-- 2 files changed, 8 insertions(+), 9 deletions(-) diff --git a/de.prob.core/.classpath b/de.prob.core/.classpath index bb1ae059..b5efa855 100644 --- a/de.prob.core/.classpath +++ b/de.prob.core/.classpath @@ -4,20 +4,20 @@ <classpathentry exported="true" kind="lib" path="lib/dependencies/xmlpull-1.1.3.1.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/xpp3_min-1.1.4c.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/xstream-1.4.3.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.8-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/commons-lang-2.6.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/jgrapht-0.8.3.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/jsr305-1.3.9.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.4.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.4.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.4.8-SNAPSHOT.jar"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="src" path="src"/> <classpathentry kind="src" path="test"/> <classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.4.12-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.4.12-SNAPSHOT.jar"/> <classpathentry kind="output" path="bin"/> </classpath> diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF index b68f1d0a..f294dd34 100644 --- a/de.prob.core/META-INF/MANIFEST.MF +++ b/de.prob.core/META-INF/MANIFEST.MF @@ -70,7 +70,6 @@ Export-Package: com.thoughtworks.xstream, de.prob.core.domainobjects, de.prob.core.domainobjects.eval, de.prob.core.domainobjects.ltl, - de.prob.core.domainobjects.ltl.unittests, de.prob.core.internal, de.prob.core.langdep, de.prob.core.prolog, @@ -119,11 +118,11 @@ Bundle-ClassPath: ., lib/dependencies/bparser-2.4.12-SNAPSHOT.jar, lib/dependencies/cliparser-2.4.12-SNAPSHOT.jar, lib/dependencies/commons-codec-1.6.jar, + lib/dependencies/parserbase-2.4.12-SNAPSHOT.jar, lib/dependencies/commons-lang-2.6.jar, lib/dependencies/jgrapht-0.8.3.jar, lib/dependencies/jsr305-1.3.9.jar, lib/dependencies/ltlparser-2.4.12-SNAPSHOT.jar, - lib/dependencies/parserbase-2.4.12-SNAPSHOT.jar, lib/dependencies/prologlib-2.4.12-SNAPSHOT.jar, lib/dependencies/unicode-2.4.12-SNAPSHOT.jar, lib/dependencies/xmlpull-1.1.3.1.jar, -- GitLab