build: add option to select which plugin should be included #2907

Closed

Labels

opened

on Sep 11, 2025

Not all users are interested in all plugins. Thus allow to select which one to build.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests