diff --git a/build.gradle b/build.gradle index 058ad3e0c405429c94d0aa4f89c5eb757d273f82..321f898d14f124a290e98e7f5352a0238dfae95a 100644 --- a/build.gradle +++ b/build.gradle @@ -21,7 +21,7 @@ and is now being used within Siemens."""] ] // label and descriptions of the fe repositoryName = "de.prob.repository" // will be the folder name parentID = "de.prob.parent" // will be the same as the folder name -targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/"] // ps Repository with Target Definition File +targetRepositories = ["http://rodin-b-sharp.sourceforge.net/core-updates"] // ps Repositories containing Target Features. Indigo repository is hardwired, do not add it here def download(address,target) { diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF index 722e1c43c071be36add94d5a620c38d7002a64cd..38395207fac8d54f64db8525820fff1d3de5535e 100644 --- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF +++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: BMotion Studio Editor Plug-in Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true -Bundle-Version: 5.3.0.qualifier +Bundle-Version: 5.3.1.qualifier Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)", @@ -14,7 +14,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", org.eclipse.core.databinding.beans;bundle-version="[1.1.1,2.0.0)", org.eclipse.gef;bundle-version="[3.7.0,4.0.0)", de.prob.core;bundle-version="[9.2.0,9.3.0)", - org.eventb.core;bundle-version="[2.1.0,2.5.0)" + org.eventb.core;bundle-version="[2.1.0,2.6.0)" Bundle-ActivationPolicy: lazy Bundle-RequiredExecutionEnvironment: JavaSE-1.6 Eclipse-BuddyPolicy: registered diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF index aa5ff02d2dc77e6c50b94ef6d1a1ff9b0dd1bb5a..b3468cc2d4fa7c226dc447950aa83b81fe933d45 100644 --- a/de.prob.core/META-INF/MANIFEST.MF +++ b/de.prob.core/META-INF/MANIFEST.MF @@ -2,10 +2,10 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ProB Animator Core Bundle-SymbolicName: de.prob.core;singleton:=true -Bundle-Version: 9.2.0.qualifier +Bundle-Version: 9.2.1.qualifier Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", org.rodinp.core;bundle-version="[1.3.1,1.6.0)", - org.eventb.core;bundle-version="[2.1.0,2.5.0)" + org.eventb.core;bundle-version="[2.1.0,2.6.0)" Bundle-ActivationPolicy: lazy Eclipse-BundleShape: dir Bundle-Vendor: HHU Düsseldorf STUPS Group diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index b73c3a3a907e1bfc8fe65d2c095abe5791a6b834..8ff926ff5f4107bbf6fa23f467bdad95433bce9d 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,11 +1,30 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.6"?> - -<target name="prob_target" sequenceNumber="12"> -<locations> -<location includeAllPlatforms="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> -<unit id="de.prob.target.feature.feature.group" version="1.0.0.qualifier"/> -<repository location="http://cobra.cs.uni-duesseldorf.de/prob_dev_target"/> -</location> -</locations> -</target> +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<?pde version="3.6"?> + +<target name="prob_target" sequenceNumber="15"> +<locations> +<location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit"> +<unit id="org.eclipse.equinox.p2.extras.feature.feature.group" version="1.0.1.v20110906-1605-7A4FD4DiVOMap8cHSc6vPuny4gqO"/> +<unit id="org.eclipse.help.feature.group" version="1.3.0.v20110530-0844-7i7uFFmFFl8nvqbDpEqTvx"/> +<unit id="org.eclipse.platform.feature.group" version="3.7.2.v20120207-1839-9gF7UHPDFxGjd-PqDr2jX_4yKaumkoHTz04_q-q"/> +<unit id="org.eclipse.equinox.executable.feature.group" version="3.5.1.v20111216-1653-7P7NFUIFIbaUcU77s0KQWHw5HZTZ"/> +<unit id="org.eclipse.rcp.feature.group" version="3.7.2.v20120120-1424-9DB5FmnFq5JCf1UA38R-kz0S0272"/> +<unit id="org.eclipse.emf.edit.feature.group" version="2.7.2.v20120130-0943"/> +<unit id="org.eclipse.equinox.p2.core.feature.feature.group" version="1.0.1.v20110906-1605-8290FZ9FVKHVRKtmx3fpNuo02129"/> +<unit id="org.eclipse.equinox.p2.user.ui.feature.group" version="2.1.2.R37x_v20110815-1155-6-Bk8pYWZz0qUTX5I15GZWwbXkrl"/> +<unit id="org.eclipse.equinox.p2.rcp.feature.feature.group" version="1.0.1.v20110906-1605-782EqBqNKGVkiV-PUsgz-uny4gqO"/> +<unit id="org.eventb.ide.feature.group" version="2.5.0.r14568"/> +<unit id="fr.systerel.editor.feature.group" version="0.6.2.r14568"/> +<unit id="org.rodinp.feature.group" version="1.6.0.r14568"/> +<unit id="org.rodinp.platform.product" version="2.5.0.r14568"/> +<unit id="org.rodinp.platform.feature.group" version="2.5.0.r14568"/> +<unit id="org.rodinp.platform.product.root.feature.feature.group" version="2.5.0.r14568"/> +<repository location="http://rodin-b-sharp.sourceforge.net/core-updates"/> +</location> +<location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit"> +<unit id="org.eclipse.gef.feature.group" version="3.7.2.v20110927-2020-777D381B4Bz0755B465D34242"/> +<unit id="org.eclipse.gef.sdk.feature.group" version="3.7.2.v20110927-2020-7G7W77A5WNgIRPdWXDIbNTSQPdQL"/> +<repository location="http://download.eclipse.org/releases/indigo/"/> +</location> +</locations> +</target> diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF index fe3fe5968a190cad234d06d01ccfa965023b072c..1118ed6d0fa832ec59dd9891220081deb071a964 100644 --- a/de.prob.ui/META-INF/MANIFEST.MF +++ b/de.prob.ui/META-INF/MANIFEST.MF @@ -2,13 +2,13 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: ProB Ui Plug-in Bundle-SymbolicName: de.prob.ui;singleton:=true -Bundle-Version: 7.2.0.qualifier +Bundle-Version: 7.2.1.qualifier Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)", org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)", de.prob.core;bundle-version="[9.2.0,9.3.0)", - org.eventb.core;bundle-version="[2.1.0,2.5.0)", + org.eventb.core;bundle-version="[2.1.0,2.6.0)", org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)", org.eclipse.gef;bundle-version="[3.5.0,4.0.0)" Bundle-ActivationPolicy: lazy diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 6bc23c2551297ac9b86cf5a3313fbcc1e52a2533..0f66f71b778d3987f5f60fa4063ccef25f493410 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -2,7 +2,7 @@ <feature id="de.prob2.feature" label="ProB for Rodin2" - version="2.3.0.qualifier" + version="2.3.1.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">