The <libspec> argument of the --library option can either be a library name, or a path to a library file (either relative or absolute) if <libspec> is prefixed with the : character, such as :mylib.dll.
thanks for your PR and the information on possible options for --library :slightly_smiling_face: I will merge your PR and add a reference to the option inside the options table :+1:
Hi, I found this in the jextract documentation. https://github.com/openjdk/jextract/blob/master/doc/GUIDE.md#library-loading