As a user of Coq on Macs, I wonder if OCaml will add native support for their new ARM CPUs, and how hard it is, and how long would that take roughly — 1month, 1 year, 10 years? I realize this question might be very hard and annoying to answer, but I see OCaml has already ports for ARM-Linux and Mac…

[image] Blaisorblade: I wonder if OCaml will add native support for their new ARM CPUs, and how hard it is, and how long would that take roughly — 1month, 1 year, 10 years? 10 days? :innocent: The OCaml ARM64 code generator is in very good shape already, and the recent pull request Add suppo…

I think it’s possible to use Corellium iPhone emulation for development. Many projects and researchers rely on it. For example, Go language uses it for CI . Another alternative is to run iOS in QEMU as it had been told already: https://alephsecurity.com/2019/06/17/xnu-qemu-arm64-1/ https://alephse…

At the platform state of the union , they announced that they will send Pr for the Mac ARM support to many oss projects. [image] Would be nice to find a way to have OCaml on the list

I don’t have such a box, so I can only ask around on Twitter — feel free to retweet for reach or make a better tweet https://twitter.com/Blaisorblade/status/1275840699477434369

So, while we’re on the topic of ARM, android also uses ARM. How hard is it to produce binaries for that as well?

If someone started a crowdfunding compain to get the box I would definitely back it.

@bluddy not hard, Android needs some patches after Android 5.0, I have it setup for ARM64 and x86_64 at my personal project, also got iOS x86_64 and ARM64. I have a tooling to cross compile almost anything with esy, similar to ocaml-cross but more versatile and works with essentially any dune packa…

The emulator after you get to work is actually nice, works exactly like any VM, SSH and all, if you guys are okay with that I can setup the CI using it. But also, maybe trying to give Corellium a try? I’m not a huge fan o Go but if they’re using as a CI it’s probably reliable. Technically even the…

By the way, just an update from Aleph Security - they added KVM acceleration for iOS emulation if it’s running on ARMv8 board: https://alephsecurity.com/2020/07/19/xnu-qemu-kvm/

That’s amazing, I had started to look on that, but not a lot of spare time, will try to see if it can runs the macOS ARM, as the kernel is really similar

OCaml for ARM MacOS

Ecosystem

bcc32 February 23, 2021, 4:33am 24

I noticed that opam 2.08 is now available for ARM Macs using Homebrew, and I was able to confirm on my machine.

brew install opam away

6 Likes

Topic		Replies	Views
Ocaml for ARM64 Ecosystem	3	2055	January 16, 2021
Cross-compiling for Embedded arm32 Target (RP2040 / Cortex-M0+) Ecosystem cross-compilation , arm	16	2540	March 13, 2023
32-bit native code support for OCaml 5+ Community ocaml , machine-learning	21	1566	July 12, 2023
[ANN] OCaml 4.10.2 Ecosystem	2	1853	December 9, 2020
Building for MacOS x86 and arm64 with setup-ocaml Ecosystem	4	728	January 2, 2025

OCaml for ARM MacOS

Related topics