Closed msgilligan closed 6 months ago
I think if this PR is WIP it might be a good idea to use the GitHub "Draft" feature.
I think if this PR is WIP it might be a good idea to use the GitHub "Draft" feature.
We can't use it in a private repo without paying 😕
Approved. I only wonder why the jextract is under version control if it's generated as you say.
I think the recommend use of jextract
is to get your initial implementation quickly, but then to customize it and maintain it manually. I think that is the path we will pursue. (If not, we can change things to run jextract
as part of the build.)
This PR will resolve Issue #6 and Issue #9
--enable-preview
o.b.s.f.jextract
Java files with the files generated by the latest jextract.This is WIP because the GitHub Actions build needs an update.