From ee2c4e49f23a4bf9a72534ee24217893d6cda183 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 3 Jul 2024 14:53:05 +0200 Subject: [PATCH] Properly declare that BMotion Studio depends on the ProB plugin UI The BMotion Studio uses multiple views from the ProB plugin UI and wouldn't work without it. --- de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF | 1 + de.bmotionstudio.rodin/META-INF/MANIFEST.MF | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF index ba2cba6d..2e18c6f4 100644 --- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF +++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF @@ -5,6 +5,7 @@ Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true Bundle-Version: 5.7.0.qualifier Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin Require-Bundle: de.prob.core;bundle-version="[9.6.0,9.7.0)";visibility:=reexport, + de.prob.ui;bundle-version="[7.6.0,7.7.0)", org.eclipse.core.databinding;bundle-version="[1.10.0,2.0.0)", org.eclipse.core.databinding.beans;bundle-version="[1.7.0,2.0.0)", org.eclipse.core.databinding.property;bundle-version="[1.7.0,2.0.0)", diff --git a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF index 00197daf..1e4c09a0 100644 --- a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF +++ b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF @@ -6,4 +6,5 @@ Bundle-Version: 1.4.0.qualifier Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.7.0,5.8.0)" Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-Vendor: HHU Düsseldorf STUPS Group -Require-Bundle: org.eclipse.ui.navigator;bundle-version="3.5.0" +Require-Bundle: de.prob.ui;bundle-version="[7.6.0,7.7.0)", + org.eclipse.ui.navigator;bundle-version="3.5.0" -- GitLab