Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
dinosaure opened this issue Jan 4, 2022 · 3 comments
Open

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

dinosaure opened this issue Jan 4, 2022 · 3 comments

Comments

@dinosaure
Copy link
Member

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
Copy link
Member

hannesm commented Jan 4, 2022

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
Copy link
Member Author

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

@dinosaure dinosaure changed the title The new ocaml-freestanding layout does not handle frame-pointers/naked-pointers The new ocaml-freestanding layout does not handle frame-pointers/nnp-checkers Jan 4, 2022
@hannesm
Copy link
Member

hannesm commented Nov 27, 2024

..and that's fine for us, or isn't it? I don't understand whether we should change anything here!?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hannesm @dinosaure