krakowski / gradle-jextract

Gradle plugin for integrating Project Panama's jextract tool
https://plugins.gradle.org/plugin/io.github.krakowski.jextract
GNU General Public License v3.0
53 stars 10 forks source link

Filtering symbols with argfile #18

Closed phiSgr closed 7 months ago

phiSgr commented 1 year ago

What should this feature provide?

Allow the use of @includes.txt to filter the symbols

https://github.com/openjdk/jextract#filtering-symbols

Why is this feature needed?

The alternative is to put that file's content into the gradle script.

How can this feature be implemented?

Something like:

+// Set argfile
+definition.argfile.orNull?.let {
+    arguments += "@$it"
+}

// Set header file
arguments += definition.header.get()

// Execute command
execute(arguments.toTypedArray())