-
Notifications
You must be signed in to change notification settings - Fork 1.1k
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
Constrain packages not available on ARM64 #11768
Conversation
482ce8d
to
e2d4846
Compare
✅ All lint checks passed dad41b5
✅ Installability check (8682 → 8682) |
Don't merge this PR yet. We are trying to figure out what is supposed to work (see the comment on the ocaml-freestanding issue) |
cc @AltGr |
@@ -20,6 +20,6 @@ conflicts: [ | |||
] | |||
available: [ | |||
ocaml-version >= "4.02.3" & ocaml-version < "4.07.0" & | |||
((os = "linux" & (arch = "x86_64" | arch = "aarch64")) | | |||
((os = "linux" & (arch = "x86_64" | arch = "arm64")) | |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@kit-ty-kate Based on the discussion in mirage/ocaml-solo5#36, this doesn't seem right. ocaml-freestanding
does work on Linux/aarch64, won't this break users trying to install it with OPAM 1 where arch
will be aarch64
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes yes, I haven't made the change yet. I'll do today.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
By change I mean "don't change anything"
e2d4846
to
dad41b5
Compare
Reported here for
core
: janestreet/core#110Reported upstream for
ocaml-freestanding
: mirage/ocaml-solo5#36