如何使用Kotlin和JDK 10+生成JNI标头？

Question

假设我的Kotlin类具有本机方法：

class SomeClass {
   external fun SomeFunc()
}

在Java 10之前，我们有javah工具用于本机C头生成。现在，此功能已移至javac Java编译器，并且javah已删除。它们之间的主要区别在于javah仅需要编译SomeClass.class文件，而javac需要指定源文件。指定SomeClass.kt显然会导致失败。现在，为Kotlin类生成标头的正式方法是什么？