jextract overwrites constants$0.java

[Sundararajan Athijegannathan]

jextract was not designed to be used in that fashion.

Either you can use different packages for different header files (each extracted by separate jextract session).
Or you can introduce a new header that includes your original two headers and jextract your newly created header file.

-Sundar
________________________________
From: panama-dev <panama-dev-retn at openjdk.java.net> on behalf of Sebastian Stenzel <sebastian.stenzel at gmail.com>
Sent: 15 February 2022 17:11
To: panama-dev at openjdk.java.net <panama-dev at openjdk.java.net>
Subject: jextract overwrites constants$0.java

When running jextract multiple times for functions from different header files (but using the same --target-package), `constants$0` gets overwritten.

Is there any way to change the name of the file? Or is it intended to extract each header to a different package, as jextract can not avoid namespace conflicts?