Use protege-distribution instead of protege
Task Info (Flyspray) | |
---|---|
Opened By | kibubu (kibubu) |
Task ID | 73833 |
Type | Feature Request |
Project | Community Packages |
Category | Packages |
Version | None |
OS | All |
Opened | 2022-02-17 12:33:01 UTC |
Status | Assigned |
Assignee | Morten Linderud (Foxboron) |
Details
Description: The current project builds only protege and neglects the default plugins for Protege which are included in the official release. Not all plugins can be installed via the plugin installer for example explanation workbench is not listed. Since almost all tutorials and teaching materials expect the official plugins to be installed confusion is caused by packaging only protege.
Unfortunately, all proposed solutions increase the complexity.
A) Instead of building https://github.com/protegeproject/protege the bundle repository https://github.com/protegeproject/protege-distribution can be used. The downside of this approach is an additional java runtime environment.
B) The dependencies stated in https://github.com/protegeproject/protege-distribution/blob/master/pom.xml can be added manually.