Я пытаюсь установить и загрузить внешний пакет в простое приложение равноденствия.
Целевой пакет исходит из набора плагинов для затмения, доступных здесь:
http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ (rodin-2.4-dev.zip
).
Когда я запускаю равноденствие:
$ java -jar org.eclipse.osgi_3.7.1.R37x_v20110808-1106.jar -console
Я могу установить его
osgi> install file:///path_to/rodin-2.4-dev/org.eventb.core_2.4.0.r14093.jar
Bundle id is 1
Но у меня возникает исключение при запускеэто:
osgi> start 1
org.osgi.framework.BundleException: The bundle "org.eventb.core_2.4.0.r14093 [1]"
could not be resolved. Reason: Missing Constraint: Require-Bundle:
org.eclipse.core.runtime; bundle-version="0.0.0"
Кто-нибудь знает, как исправить эту ошибку?
Возможно, это связано с тем, что в комплект не входит org.eclipse.core.runtime
версия, поскольку MANIFEST.MF имеет следующий Require-Bundle:
Require-Bundle: org.eclipse.core.runtime,org.rodinp.core;visibility:=r
eexport,org.eventb.core.ast;visibility:=reexport,org.eventb.core.seqp
rover;visibility:=reexport