ocaml-solo5 icon indicating copy to clipboard operation
ocaml-solo5 copied to clipboard

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

Open dinosaure opened this issue 3 years ago • 2 comments

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.

dinosaure avatar Jan 04 '22 14:01 dinosaure

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).

hannesm avatar Jan 04 '22 15:01 hannesm

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

dinosaure avatar Jan 04 '22 15:01 dinosaure