From 37392d76a4a3c779c0d3f009a0f2fc993f39916c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 27 Feb 2024 15:11:36 +0100
Subject: [PATCH] Make features not import their own plugins
This seems to be unnecessary? The plugins are already listed in the
plugin tags, so there *should* be no need to list them again under
requires... We didn't do this consistently for all plugins anyway and it
apparently hasn't caused any problems.
---
de.prob2.disprover.feature/feature.xml | 1 -
de.prob2.feature/feature.xml | 3 ---
2 files changed, 4 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 4a52e0dc..da19a845 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -229,7 +229,6 @@ litigation.
<requires>
<import plugin="de.prob.core" version="9.5.2" match="equivalent"/>
- <import plugin="de.prob.eventb.disprover.core" version="2.1.2" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.2" match="equivalent"/>
<import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/>
<import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 90e773d1..1598487d 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -228,9 +228,6 @@ litigation.
</license>
<requires>
- <import plugin="de.bmotionstudio.gef.editor" version="5.6.2" match="equivalent"/>
- <import plugin="de.prob.core" version="9.5.2" match="equivalent"/>
- <import plugin="de.prob.ui" version="7.5.2" match="equivalent"/>
<import plugin="org.eclipse.core.databinding" version="1.10.0" match="compatible"/>
<import plugin="org.eclipse.core.databinding.beans" version="1.7.0" match="compatible"/>
<import plugin="org.eclipse.core.expressions" version="3.7.0" match="compatible"/>
--
GitLab