From 312b391e1265f35ef7f813d007fd599e644b6990 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Wed, 14 May 2014 10:00:33 +0200 Subject: [PATCH] target platform again --- de.prob.core/.classpath | 6 +++--- de.prob.core/prob_target.target | 7 ++++++- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/de.prob.core/.classpath b/de.prob.core/.classpath index 335ff9a8..c7f027f0 100644 --- a/de.prob.core/.classpath +++ b/de.prob.core/.classpath @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> <classpath> - <classpathentry exported="true" kind="lib" path="lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/jna-3.4.0.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="output" path="bin"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.22-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.22-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.22-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/commons-codec-1.6.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/commons-lang-2.6.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/jna-3.4.0.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.22-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.22-SNAPSHOT.jar"/> @@ -19,5 +20,4 @@ <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 kind="output" path="bin"/> </classpath> diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index b14388fb..7562a55d 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="24"> +<?pde version="3.8"?><target name="prob_target" sequenceNumber="25"> <locations> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eventb.theory.feature.feature.group" version="2.0.0.201308160957"/> @@ -14,6 +14,7 @@ </location> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eclipse.jdt.feature.group" version="0.0.0"/> +<unit id="org.eclipse.ui" version="0.0.0"/> <unit id="org.eclipse.pde.core" version="0.0.0"/> <unit id="org.eclipse.pde.ui" version="0.0.0"/> <unit id="org.eclipse.jdt.annotation" version="0.0.0"/> @@ -21,5 +22,9 @@ <unit id="org.junit" version="0.0.0"/> <repository location="http://download.eclipse.org/eclipse/updates/3.8"/> </location> +<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> +<unit id="org.eclipse.gef" version="0.0.0"/> +<repository location="http://download.eclipse.org/tools/gef/updates/releases"/> +</location> </locations> </target> -- GitLab