Ship a JVM-consumable native shared library#233

Open

zzcgumn wants to merge 22 commits into

developfrom

feat/shared_lib_and_jni

Commits on Jul 14, 2026

Add pure-C ABI shim over the modern SolverContext API

zzcgumn
and
claude
committed
Add export-list generator and generated .lds files

zzcgumn
and
claude
committed
Add cc_shared_library target and export-set test

zzcgumn
and
claude
committed
Add rules_java and a hermetic JDK 25 toolchain for FFM bindings

zzcgumn
and
claude
committed
Add hand-written FFM bindings for the shared library

zzcgumn
and
claude
committed
Add end-to-end FFM smoke test

zzcgumn
and
claude
committed
Add docs/jni_interface.md — JVM/FFM interface guide

zzcgumn
and
claude
committed
docs(spec): add shared_library capability for ship_shared_lib

zzcgumn
and
claude
committed
chore: deletes file generated by claude that was included accidentally.
zzcgumn
committed
Broaden FFM and generator test coverage

zzcgumn
and
claude
committed
Add rules_jvm_external for Java packaging

zzcgumn
and
claude
committed
Add Dds.loadEmbedded() for native-in-jar extraction

zzcgumn
and
claude
committed
Add native-embedding java_export dds_ffm_dist

zzcgumn
and
claude
committed
Add embedded-load smoke test

zzcgumn
and
claude
committed
Document native-in-jar packaging and local ~/.m2 install

zzcgumn
and
claude
committed
Fix native-in-jar packaging: arch, dedup, Windows copy, version

zzcgumn
and
claude
committed
Close the Arena when library load fails

zzcgumn
and
claude
committed
Derive export_set_test expectations from headers, not the .lds

zzcgumn
and
claude
committed
Harden native-in-jar staging: shell-free copy, localize platform support

zzcgumn
and
claude
committed
Add jar self-containedness test

zzcgumn
and
claude
committed
Make export_set_test's nm usage portable

zzcgumn
and
claude
committed
Bump bazel_skylib pin to 1.9.0 to match the resolved graph

zzcgumn
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Ship a JVM-consumable native shared library#233

Ship a JVM-consumable native shared library#233
zzcgumn wants to merge 22 commits into
developfrom
feat/shared_lib_and_jni

Commits on Jul 14, 2026

Add pure-C ABI shim over the modern SolverContext API

Add export-list generator and generated .lds files

Add cc_shared_library target and export-set test

Add rules_java and a hermetic JDK 25 toolchain for FFM bindings

Add hand-written FFM bindings for the shared library

Add end-to-end FFM smoke test

Add docs/jni_interface.md — JVM/FFM interface guide

docs(spec): add shared_library capability for ship_shared_lib

chore: deletes file generated by claude that was included accidentally.

Broaden FFM and generator test coverage

Add rules_jvm_external for Java packaging

Add Dds.loadEmbedded() for native-in-jar extraction

Add native-embedding java_export dds_ffm_dist

Add embedded-load smoke test

Document native-in-jar packaging and local ~/.m2 install

Fix native-in-jar packaging: arch, dedup, Windows copy, version

Close the Arena when library load fails

Derive export_set_test expectations from headers, not the .lds

Harden native-in-jar staging: shell-free copy, localize platform support

Add jar self-containedness test

Make export_set_test's nm usage portable

Bump bazel_skylib pin to 1.9.0 to match the resolved graph