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

dune-build-info is not working on flambda1 switch #11418

Open
zapashcanon opened this issue Jan 30, 2025 · 0 comments
Open

dune-build-info is not working on flambda1 switch #11418

zapashcanon opened this issue Jan 30, 2025 · 0 comments
Labels
needs-investigation

Comments

@zapashcanon
Copy link
Contributor

Hi,

I have a program where I'm getting this error when trying to use dune-build-info on an Flambda1 switch:

$ dune b @install --profile release
File "_none_", line 1:                   
Error (warning 58 [no-cmx-file]): no cmx file was found in path for module Build_info__Build_info_data, and its interface was not compiled with -opaque

It works on closure.

Moreover for some reason, using --profile release does not make the warning non fatal.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
needs-investigation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zapashcanon @maiste