[foreign] RFR 8220544: Jextract; library dependent header filtering

[Maurizio Cimadamore]

On 15/03/2019 13:15, Jorn Vernee wrote:
> I still like this approach, and I think adding support for wildcard 
> patterns and/or header filters would make it better.
>
> Like you said: It's dead simple. What you pass to jextract is what you 
> get. Though, we could still apply dependency analysis, which would 
> make sure nothing that's needed gets dropped.

Why don't we try this then?

Note that in javac we often use this trick:

javac `find <path> -name *.java`

which works

also, note that jextract also accepts a file with the @ syntax, etc.

jextract @args.txt

where args.txt is the command line (which could list all the headers you 
want!).

Maybe this is indeed the simpler approach.

Maurizio