Closed rnett closed 2 years ago
The libraries configuration should be optional.
jextract now supports not specifying libraries, leaving loading them up to the user. The plugin does not support this yet, but should.
jextract
Make LibraryDefinition.libraries optional, default to empty, don't throw if it is empty. I will submit a PR.
LibraryDefinition.libraries
What should this feature provide?
The libraries configuration should be optional.
Why is this feature needed?
jextract
now supports not specifying libraries, leaving loading them up to the user. The plugin does not support this yet, but should.How can this feature be implemented?
Make
LibraryDefinition.libraries
optional, default to empty, don't throw if it is empty. I will submit a PR.