fix(jni): require a jdk for the jar rather than shipping without it - #712

Merged

andiwand merged 3 commits into

mainfrom

fix/jni-require-jdk

Aug 20, 2026

Commits on Aug 20, 2026

fix(jni): require a jdk for the jar rather than shipping without it

andiwand
and
claude
committed
60b9326
docs(jni): say where ODR_JNI_JAR=OFF actually removes the JDK requirement

andiwand
and
claude
committed
658319d
docs(jni): trim the ODR_JNI_JAR prose

andiwand
and
claude
committed
91ef4e0