FS#73833 - [protege] Use protege-distribution instead of protege
Attached to Project:
Community Packages
Opened by kibubu (kibubu) - Thursday, 17 February 2022, 12:33 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:08 GMT
Opened by kibubu (kibubu) - Thursday, 17 February 2022, 12:33 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:08 GMT
|
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. |
This task depends upon
Closed by Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:08 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/protege/issues/1
Saturday, 25 November 2023, 20:08 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/protege/issues/1