Check if a Mac is x64 or arm64?

Stream: Is there code for X?

[Kaiyu Yang]

Hi, I wonder if there is a way to check if the machine is a x64 (Intel) Mac or arm64 (Apple Silicon) Mac. I was only able to find functions like System.Platform.isOSX but that does not solve the problem. Thanks!

[Mario Carneiro]

lake exe cache is currently using this code to determine the architecture (on OSX/linux, on windows we just assume x86):

    let mut arch ← (·.trim) <$> runCmd "uname" #["-m"] false
    if arch = "arm64" then arch := "aarch64"
    unless arch ∈ ["x86_64", "aarch64"] do
      throw $ IO.userError s!"unsupported architecture {arch}"

[Mario Carneiro]

(runCmd is just a wrapper around IO.Process.output)

[Kaiyu Yang]

Thank you Mario!