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 the value of the 'arch' variable when the current OS is 32bit on a 64bit machine #5950

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented May 10, 2024

Fixes #5949

getconf LONG_BIT is POSIX-complient and thus should work on any Unix-like systems (including cygwin)

Tested successfully on Linux, macOS, Cygwin and MSYS2

@dra27
Copy link
Member

dra27 commented May 10, 2024

Thanks for this!! That means that switches on Raspberry Pi OS now install host-arch-arm32 instead of host-arch-arm64 with ocaml/opam-repository#25861.

This seems a sensible change to me?

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.

opam var arch reports kernel rather than user arch on Raspberry Pi OS
2 participants