From 602375334d7db33bc282cff56b2eba9c6aa1f6f8 Mon Sep 17 00:00:00 2001
From: ladenberger <ladenberger@1434b563-b632-4741-aa49-43a3a8374d2e>
Date: Mon, 16 Jun 2014 13:15:51 +0000
Subject: [PATCH] dependency tests ..
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@16403 1434b563-b632-4741-aa49-43a3a8374d2e
---
org.eventb.texteditor.feature/feature.xml | 11 ++++++-----
org.eventb.texteditor.ui/META-INF/MANIFEST.MF | 4 ++--
org.eventb.texttools/META-INF/MANIFEST.MF | 2 +-
3 files changed, 9 insertions(+), 8 deletions(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 9a205c6..3f45abb 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -160,13 +160,13 @@ Inc. in the United States, other countries, or both.
</url>
<requires>
- <import plugin="org.eventb.texttools" version="3.0.0" match="equivalent"/>
- <import plugin="org.eventb.emf.formulas" version="1.2.0" match="compatible"/>
- <import plugin="org.eventb.emf.persistence" version="3.1.0" match="compatible"/>
- <import plugin="org.eventb.ui" version="2.0.0" match="compatible"/>
+ <import plugin="org.eventb.texttools" version="3.0.0" match="greaterOrEqual"/>
+ <import plugin="org.eventb.emf.formulas" version="1.3.2" match="greaterOrEqual"/>
+ <import plugin="org.eventb.emf.persistence" version="3.1.0" match="greaterOrEqual"/>
+ <import plugin="org.eventb.ui" version="3.0.0" match="greaterOrEqual"/>
<import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
<import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/>
- <import plugin="org.eventb.core.ast" version="3.0.0" match="compatible"/>
+ <import plugin="org.eventb.core.ast" version="3.0.0" match="greaterOrEqual"/>
<import plugin="org.eclipse.ui.editors" version="3.8.0" match="compatible"/>
<import plugin="org.eclipse.ui.ide" version="3.8.2" match="compatible"/>
<import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
@@ -175,6 +175,7 @@ Inc. in the United States, other countries, or both.
<import plugin="org.eclipse.emf.compare.diff" version="1.2.2" match="compatible"/>
<import plugin="org.eclipse.emf.compare.match" version="1.2.2" match="compatible"/>
<import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
+ <import plugin="org.eventb.emf.core" version="3.0.0" match="greaterOrEqual"/>
</requires>
<plugin
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 08d31a0..7502143 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -6,9 +6,9 @@ Bundle-Version: 3.0.0.qualifier
Bundle-Localization: plugin
Bundle-Activator: org.eventb.texteditor.ui.TextEditorPlugin$Implementation
Require-Bundle: org.eventb.texttools;bundle-version="[2.0.0,3.1.0)";visibility:=reexport,
- org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)";visibility:=reexport,
+ org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)",
org.eventb.emf.persistence;bundle-version="[3.1.0,4.0.0)";visibility:=reexport,
- org.eventb.ui;bundle-version="[2.0.0,3.1.0)";visibility:=reexport,
+ org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
org.eclipse.emf.edit.ui;bundle-version="[2.5.0,3.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 2b59303..7308635 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: org.eventb.texttools;singleton:=true
Bundle-Version: 3.0.0.qualifier
Bundle-Activator: org.eventb.texttools.TextToolsPlugin
Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
- org.eventb.emf.formulas;bundle-version="[1.2.0,2.0.0)",
+ org.eventb.emf.formulas;bundle-version="[1.3.2,2.0.0)",
org.eventb.emf.persistence;bundle-version="[3.1.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
org.eclipse.emf.compare;bundle-version="[1.2.2,2.0.0)",
--
GitLab