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.