On Wed, 19 Jun 2024 16:58:39 GMT, Athijegannathan Sundararajan <sundar@openjdk.org> wrote:
jextract currently supports only one header file. If the user wants to extract more than one header file, s/he has to create a containing header that includes multiple headers and jextract the containing header.
With the current change, jextract supports more than one header file in the command line. When multiple headers are specified in command line, --header-class-name option is mandatory and it is enforced.
In addition to normal file names for header file names, a special syntax such as "<stdio.h>" is also supported. With this, user does not have to write long file name including directories such as /usr/include/stdio.h.
jextract generates multiple headers by generating a temporary header file. If the command line argument is of the form "<stdio.h>" then jextract generates "#include <stdio.h>" in the auto-generated containing header. If the header specified in of the normal/existing form (say foo.h), then containing header will have #include "foo.h" line.
Athijegannathan Sundararajan has updated the pull request incrementally with one additional commit since the last revision:
updated section on basic jextract usage for multiple header files and special header syntax with a link to command line option reference based on review comment.
Maybe the command line options table entry for `--header-class-name <name>` should be updated regarding the mandatory use of it. Currently it says "If this option is not specified", but this is not always valid anymore. ------------- PR Comment: https://git.openjdk.org/jextract/pull/249#issuecomment-2179161760