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

Fix architecture support for OCaml 5.x #21510

Merged
merged 5 commits into from
Jun 11, 2022
Merged

Fix architecture support for OCaml 5.x #21510

merged 5 commits into from
Jun 11, 2022

Conversation

dra27
Copy link
Member

@dra27 dra27 commented Jun 11, 2022

OCaml 5.x is only available in native code for amd64 and arm64; all other configurations are bytecode-only.

  • ocaml-option-32bit therefore pulls in ocaml-option-bytecode-only for 5.x
  • ocaml-option-afl, ocaml-option-fp and ocaml-option-flambda are native compiler options, so they should always have conflicted ocaml-option-bytecode-only
  • Frame pointers has only ever been available on linux amd64 which is now reflected in ocaml-option-fp
  • Frame pointer support hasn't yet been restored to OCaml 5.x (the PR is under review), so for now the 5.x packages conflict ocaml-option-fp
  • The 5.x packages depend on ocaml-option-bytecode-only if the architecture is not amd64 or arm64
  • It turns out that opam-depext doesn't install correctly in a bytecode-only switch (ironically, as it always build the bytecode version of the plugin, even in a full compiler switch). This is addressed in Fix build on bytecode-only systems ocaml-opam/opam-depext#149, but this PR also updates the build instructions for 1.2.1 (as a 1.2.1-1 package). There will be a 1.2.2 release with the upstream fix, at which point we can constrain the older packages away from 5.x, but this fix is critical for the CI base images.

dra27 added 5 commits June 11, 2022 10:02
Flambda, frame-pointers and AFL are native-code compilation options and
don't make sense in a bytecode-only switch.
Native compiler requires amd64 or arm64.
Copy link
Member

@avsm avsm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This all looks good to me.

@dra27
Copy link
Member Author

dra27 commented Jun 11, 2022

Thanks!

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

Successfully merging this pull request may close these issues.

2 participants