DkML has had a cross-compiler for years, but I have cleaned it up so that it is much easier to use for Android developers. It now works with a regular opam installation with a custom repository. Also included are patches to the OCaml compiler to work with Android NDK 21+ (currently Google is at NDK …

Hi there @jbeckford , This is very interesting! Do you think this setup for a cross-compiler for Android ARMv7 could also be used to compile OCaml programs to the Numworks graphical calculator? It’s also based on ARMv7 32 bits. I opened this question in 2021, and I would like to finish the job th…

[ANN] Simplified Android cross-compiler with DkML

Ecosystem

jbeckford October 20, 2024, 3:10pm 3

@Naereen The creator of OCaml has already said 256KB RAM is completely unusable for OCaml. That hasn’t changed. Could we add a tiny OCaml interpreter to Numworks graphical calculators? - #9 by xavierleroy

Topic		Replies	Views
Cross-compiling OCaml with GitHub Actions Ecosystem build	6	2481	October 20, 2024
How to make OCaml work on termux for Android Ecosystem build , android , termux	2	395	September 29, 2025
Cross-compiling implementations / how they work Learning cross-compilation	16	5123	August 11, 2023
Status of Cross-Compilation to Android? Ecosystem compiler , android	1	201	January 7, 2026
[ANN] New release of Windows DKML with system compiler and easy Opam switch creation Ecosystem announce , windows , dkml	5	1658	January 16, 2022

[ANN] Simplified Android cross-compiler with DkML

Related topics