Thanks. Unfortunately Xavier Leroy said there "What you will never have, however, is a single OCaml compiler executable that can generate code for several target architectures.". Which is exactly what I was dreaming of :(