Add compilation to OCaml