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.

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

Wrong odoc binary #157

Open
samoht opened this issue Jul 4, 2023 · 3 comments
Open

Wrong odoc binary #157

samoht opened this issue Jul 4, 2023 · 3 comments

Comments

@samoht
Copy link
Contributor

samoht commented Jul 4, 2023

ocaml-platform is installing a broken odoc binary in my switch:

❯ dune build @doc
File "lib/.cmdliner_stdlib.objs/byte/_unknown_", line 1, characters 0-0:
ERROR: File "cmdliner_stdlib.cmti":
not an interface

The version of odoc is 2.2.0-ocaml5.0.0+platform

❯ ocaml-platform --version
0.8.0

It works if I install odoc.2.2.0 from sources with opam.

@panglesd
Copy link
Contributor

panglesd commented Jul 4, 2023

Thanks for the report, that is strange. What is the output of odoc --version on a switch where odoc.2.2.0-ocaml5.0.0+platform is installed?

@panglesd
Copy link
Contributor

panglesd commented Jul 4, 2023

Actually, the "not an interface" message is suggesting that the compiler that compiled the platform odoc package is different from the compiler in your switch, which is not supposed to be the case...

Are you in a switch with a custom compiler?

@samoht
Copy link
Contributor Author

samoht commented Jul 4, 2023

The version of odoc was 2.2.0 and it's just a normal 5.0.0 switch :-)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants