Skip to content

Add ppx_deriving-android and ppx_deriving_yojson-android - #50

Merged
toots merged 2 commits into
mainfrom
ppx-deriving-yojson
Oct 3, 2026
Merged

toots merged 2 commits into
mainfrom
ppx-deriving-yojson

Conversation

@toots

@toots toots commented Oct 3, 2026

Copy link
Copy Markdown
Member

tsync's core now derives its JSON codecs with ppx_deriving_yojson, so cross-building it for Android needs the two runtime libraries (ppx_deriving.runtime, ppx_deriving_yojson.runtime) installed for the target. Neither package existed here.

ppx_deriving-android.6.1.3 empties src/dune before building. That directory only holds the standalone driver executable, which links findlib.dynload; a cross target has no such library, and nothing built with dune uses that driver.

ppx_deriving_yojson-android.3.10.0 depends on the native ppx_deriving_yojson as well as on the Android runtime: dune runs the preprocessor in the native context, as the comment in the other ppx packages says.

Tested locally: both install in a cross switch (OCaml 5.4.1, NDK API 26, macOS host), and tsync's JNI library cross-builds against them. This repository's own CI has not built them yet; this pull request is its first run.

@toots
toots merged commit 71c805e into main Oct 3, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant