diff --git a/org.eventb.texteditor.feature/camille.target b/org.eventb.texteditor.feature/camille.target index a644efed4a1bacab5f5805255f4adc404b78bb3b..7665b55805a6363f23db9aa2ba04b11186bc2317 100644 --- a/org.eventb.texteditor.feature/camille.target +++ b/org.eventb.texteditor.feature/camille.target @@ -1,22 +1,33 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="76"> +<?pde version="3.8"?><target name="camille_target" sequenceNumber="89"> <locations> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="org.rodinp.platform.product" version="3.2.0.201506220911-ecacdcb"/> -<repository location="http://rodin-b-sharp.sourceforge.net/core-updates/"/> +<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> +<unit id="org.eclipse.emf.compare.ide.ui.feature.group" version="3.3.2.201709090201"/> +<unit id="org.eclipse.emf.sdk.feature.group" version="2.13.0.v20170609-0928"/> +<repository location="http://download.eclipse.org/releases/oxygen"/> </location> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="org.eclipse.emf.sdk.feature.group" version="2.10.2.v20150123-0452"/> -<unit id="org.eclipse.emf.compare.source.feature.group" version="3.0.2.201501201328"/> -<unit id="org.eclipse.emf.compare.ide.ui.source.feature.group" version="3.0.2.201501201328"/> -<repository location="http://download.eclipse.org/releases/luna"/> -</location> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> +<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> <unit id="ac.soton.eventb.roseEditor.feature.feature.group" version="1.6.1"/> -<unit id="org.eventb.emf.feature.feature.group" version="5.3.1"/> -<unit id="org.eventb.theory.feature.feature.group" version="3.0.0"/> -<unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="5.1.1"/> +<unit id="org.eventb.emf.feature.feature.group" version="5.4.0"/> +<unit id="org.eventb.emf.sdk.feature.group" version="5.4.0"/> <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> </location> +<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> +<unit id="fr.systerel.editor.feature.group" version="0.9.2.201802230927-6980ca1"/> +<unit id="org.eclipse.platform.feature.group" version="4.7.2.v20171130-0510"/> +<unit id="org.eventb.ide.feature.group" version="3.4.0.201802230927-6980ca1"/> +<unit id="org.rodinp.feature.group" version="1.8.1.201802230927-6980ca1"/> +<unit id="org.rodinp.platform.feature.group" version="3.4.0.201802230927-6980ca1"/> +<unit id="org.rodinp.platform.sources.feature.group" version="3.4.0.201802230927-6980ca1"/> +<repository location="https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/"/> +</location> +<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> +<unit id="org.eclipse.emf.compare.feature.group" version="3.3.2.201709090201"/> +<unit id="org.eclipse.emf.compare.ide.ui.source.feature.group" version="3.3.2.201709090201"/> +<unit id="org.eclipse.emf.compare.rcp.ui.feature.group" version="3.3.2.201709090201"/> +<unit id="org.eclipse.emf.compare.rcp.ui.source.feature.group" version="3.3.2.201709090201"/> +<unit id="org.eclipse.emf.compare.source.feature.group" version="3.3.2.201709090201"/> +<repository location="http://download.eclipse.org/modeling/emf/compare/updates/releases"/> +</location> </locations> </target> diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index d884208e5142636315b66d6c31d3160848feba34..f620ee81f6ec41d5426fc7b654c5b9248237334f 100644 --- a/org.eventb.texteditor.parent/pom.xml +++ b/org.eventb.texteditor.parent/pom.xml @@ -18,19 +18,19 @@ <repository> <id>targetRepository0</id> <layout>p2</layout> - <url>http://download.eclipse.org/releases/luna/</url> + <url>http://download.eclipse.org/releases/oxygen/</url> </repository> <repository> <id>targetRepository1</id> <layout>p2</layout> - <url>http://download.eclipse.org/tools/gef/updates/releases/</url> + <url>http://download.eclipse.org/modeling/emf/compare/updates/releases/</url> </repository> - <repository> + <repository> <id>targetRepository2</id> <layout>p2</layout> - <url>http://rodin-b-sharp.sourceforge.net/core-updates</url> + <url>https://www3.hhu.de/stups/buildlibs/org.rodinp.dev</url> </repository> <repository> @@ -72,6 +72,6 @@ <module>../org.eventb.texteditor.ui</module> <module>../org.eventb.texttools</module> <module>../org.eventb.texteditor.repository</module> - <module>../org.eventb.texteditor.parsers</module> + <module>../org.eventb.texteditor.parsers</module> </modules> </project> diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF index 483d96aea9db13d622f7f11d3c6a946aaad9db42..508f5e6d1ad22cae8d245b9e4f988bfdb36e7c1d 100644 --- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF +++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF @@ -23,7 +23,8 @@ Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.3.0)";visibility:= org.eventb.core;bundle-version="3.1.0", org.eclipse.emf.edit, org.eventb.texteditor.parsers, - org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)" + org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)", + org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)" Bundle-ClassPath: . Bundle-Vendor: Heinrich-Heine University Dusseldorf Export-Package: org.eventb.texteditor.ui; diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF index 99c948a04b14c7b1c15404e973da669893940b76..301e326c3cb5b6f7ca1fbfdaf9b511750e1cfef7 100644 --- a/org.eventb.texttools/META-INF/MANIFEST.MF +++ b/org.eventb.texttools/META-INF/MANIFEST.MF @@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)", org.eclipse.emf.compare.ide;bundle-version="3.1.1", org.eclipse.emf.compare.rcp;bundle-version="2.2.0", org.eclipse.emf.ecore.xmi;bundle-version="2.10.1", - org.eventb.core;bundle-version="3.1.0" + org.eventb.core;bundle-version="[3.1.0,4.0.0)" Bundle-Vendor: Heinrich-Heine University Dusseldorf Bundle-ClassPath: . Bundle-RequiredExecutionEnvironment: JavaSE-1.7