From 474354b98996272a38225ed16bdf6c6767b9838e Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Wed, 14 May 2014 09:48:27 +0200 Subject: [PATCH] target platform again --- de.prob.core/prob_target.target | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index b7e3948a..b14388fb 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,20 +1,25 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="22"> +<?pde version="3.8"?><target name="prob_target" sequenceNumber="24"> <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"/> <repository location="http://www.stups.uni-duesseldorf.de/ProB/buildlibs/theory/"/> </location> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="epp.package.java" version="1.4.2.20120213-0813"/> -<repository location="http://download.eclipse.org/releases/indigo/"/> -</location> -<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> </location> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.rodinp.platform.product" version="3.0.0.201403141545-e3d282b"/> <repository location="http://rodin-b-sharp.sourceforge.net/core-updates/"/> </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.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"/> +<unit id="org.junit4" version="0.0.0"/> +<unit id="org.junit" version="0.0.0"/> +<repository location="http://download.eclipse.org/eclipse/updates/3.8"/> +</location> </locations> </target> -- GitLab