mirage / ocaml-solo5

Freestanding OCaml runtime
Other
100 stars 30 forks source link

4.13 support #94

Closed dra27 closed 3 years ago

dra27 commented 3 years ago

A change made to OCaml before 4.13 was branched slowed down the Windows build, but the fix (although ready for review) was deferred until during the beta cycle. The story of the fix is long and not entirely relevant, but the solution is that there is now a one-file C program in runtime/ which forms part of the build system and so has to be built with a host ("build") C compiler. There should be an elegant solution to this in future when the OCaml tree itself natively supports cross-compilation, but in the meantime we're proposing inserting three variable hooks which ocaml-freestanding (and other cross-compiling setups) can use.

This can be tested with

opam pin add ocaml-src git+https://github.com/dra27/ocaml.git#freestanding-sak-4.13 -yn
opam pin add ocaml-freestanding git+https://github.com/dra27/ocaml-freestanding.git#4.13-sak -y

cc @kit-ty-kate

hannesm commented 3 years ago

thanks, included in #95