You can compile to byte code that is platform-independent as far as I know.

On top of that Dune has some cross-compilation features.

https://dune.readthedocs.io/en/latest/cross-compilation.html