ocaml-solo5
ocaml-solo5 copied to clipboard
The new `ocaml-freestanding` layout does not handle frame-pointers/nnp-checkers
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.
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).
Oh ok, so it's only nnpchecker
and fp
.