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

[Jorn Vernee]

I've already been using shell scripts mostly when running jextract 
(except for simple examples). I find it very useful to be able to split 
the command over multiple lines, especially long file paths become much 
more readable.

I'll start working on this then.

Jorn

Maurizio Cimadamore schreef op 2019-03-15 14:21:
> 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