On Wed, 19 Jun 2024 17:12:51 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 three additional commits since the last revision:
- Update doc/GUIDE.md
Co-authored-by: Maurizio Cimadamore <54672762+mcimadamore@users.noreply.github.com> - Update doc/GUIDE.md
Co-authored-by: Jorn Vernee <JornVernee@users.noreply.github.com> - updated --header-class-name doc comment in option reference section as per review comment.
Marked as reviewed by mcimadamore (Reviewer). ------------- PR Review: https://git.openjdk.org/jextract/pull/249#pullrequestreview-2128866001