search

mirage / ocaml-solo5

Freestanding OCaml runtime
Other
101 stars 30 forks source link

The new `ocaml-freestanding` layout does not handle frame-pointers/nnp-checkers #106

Open dinosaure opened 2 years ago

dinosaure commented 2 years ago

This feature from the OCaml distribution expects that the toolchain used to compile OCaml must be gcc or clang and it recognizes it by the name of the toolchain. In our case, our toolchain is: {x86_64,arm64}-solo5-none-static. So we failed on this specific test at the configure time.

hannesm commented 2 years ago

the no-naked-pointers (nnp) and naked-pointers (np) modes are nicely supported, what is not supported is the nnpchecker (since it is only available on specific architectures).

dinosaure commented 2 years ago

Oh ok, so it's only nnpchecker and fp.