Jextract Extension
Properties
Link copied to clipboard
A properties file containing the remote locations where to download the Jextract distributions
Link copied to clipboard
Generate source files instead of class files for all libraries where not set explicitly (Jextract 21 and below)
Link copied to clipboard
Configuration of a Jextract installation to be used by the plugin
Link copied to clipboard
The libraries Jextract should generate bindings for