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
Task Type Feature Request
Category Packages
Status Closed
Assigned To Morten Linderud (Foxboron)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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

Loading...