我正在使用使用 Equinox 和 Eclipse 的rodin 和 eventb 框架。我们现在正在修改它以支持我的研究团队的新功能,并且我们希望摆脱 GUI 部分(主要是为了能够避免编写 gui 代码并能够在远程服务器上启动繁重的计算)。我们成功地拥有了我们自己的代码包,并且只需要以下 Eclipse 和 Equinox 包(来自 Eclipse 版本 3.7.1):
- org.eclipse.ant.runtime
- org.eclipse.core
- org.eclipse.core.contenttype
- org.eclipse.core.expressions
- org.eclipse.core.jobs
- org.eclipse.core.resources
- org.eclipse.equinox
- org.eclipse.osgi
以及 rodin 和 eventb 捆绑包:
- org.rodinp.core
- org.eventb.core
- org.eventb.ast
在 osgi 容器启动过程中,创建了一个目录工作区,并报告了一些错误.metadata/.log
,但似乎配置错误我可以修复...
问题:在没有 gui 的情况下尝试这样做是个好主意吗?恐怕要花很多时间来发现错误或无法运行整个集合。有没有人对这种配置有一些经验?