From 666eef559c3307759adf594e6c7551529b09e2b0 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Fri, 16 May 2014 14:39:57 +0200 Subject: [PATCH] =?UTF-8?q?i=E2=80=99ll=20build=20my=20own=20update=20site?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- de.prob.core/prob_target.target | 30 +++++++++++------------------- 1 file changed, 11 insertions(+), 19 deletions(-) diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index 7562a55d..085afe96 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,30 +1,22 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="25"> +<?pde version="3.8"?><target name="prob_target" sequenceNumber="31"> <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/"/> +<unit id="org.eclipse.gef" version="0.0.0"/> +<repository location="http://download.eclipse.org/tools/gef/updates/releases"/> </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.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"/> -<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> -<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"/> +<unit id="org.rodinp.platform.sources.feature.group" version="3.0.0.201403141545-e3d282b"/> +<unit id="org.eventb.ide.feature.group" version="3.0.0.201403141545-e3d282b"/> +<unit id="org.rodinp.platform.tests.feature.group" version="3.0.0.201403141545-e3d282b"/> +<unit id="org.rodinp.feature.group" version="1.7.0.201403141545-e3d282b"/> +<unit id="fr.systerel.editor.feature.group" version="0.7.0.201403141545-e3d282b"/> +<unit id="org.rodinp.platform.feature.group" version="3.0.0.201403141545-e3d282b"/> +<unit id="org.eclipse.ui.workbench" version="0.0.0"/> +<repository location="http://www.stups.uni-duesseldorf.de/ProB/buildlibs/rodin/"/> </location> </locations> </target> -- GitLab