From cbab7304b8116ee02721b4478ac9ca763384f88a Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Thu, 27 Mar 2014 16:05:59 +0100 Subject: [PATCH] trying to fix parallel building of prob for rodin 2 and rodin 3 --- de.prob2.disprover.feature/feature.xml | 6 +++--- de.prob2.feature/feature.xml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml index 1f444d1b..1a1ca224 100644 --- a/de.prob2.disprover.feature/feature.xml +++ b/de.prob2.disprover.feature/feature.xml @@ -232,11 +232,11 @@ litigation. <requires> <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/> - <import plugin="org.eventb.core" version="2.5.1" match="greaterOrEqual"/> + <import plugin="org.eventb.core" version="2.5.1" match="compatible"/> <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/> <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/> - <import plugin="org.eventb.pp.ui" version="0.2.1" match="greaterOrEqual"/> - <import plugin="org.eventb.core.seqprover" version="2.5.0" match="greaterOrEqual"/> + <import plugin="org.eventb.pp.ui" version="0.2.1" match="compatible"/> + <import plugin="org.eventb.core.seqprover" version="2.5.0" match="compatible"/> <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/> </requires> diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 8f6456c5..3f28e8b5 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -233,9 +233,9 @@ litigation. <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/> <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/> - <import plugin="org.eventb.core" version="2.5.0" match="greaterOrEqual"/> + <import plugin="org.eventb.core" version="2.5.0" match="compatible"/> <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/> - <import plugin="org.rodinp.core" version="1.3.1" match="greaterOrEqual"/> + <import plugin="org.rodinp.core" version="1.3.1" match="compatible"/> <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/> <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/> <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/> -- GitLab