Stream: Miscellaneous

Topic: Chances for Coq on new ARM Macs?


view this post on Zulip Paolo Giarrusso (Jun 22 2020 at 20:25):

For those (few? many?) who haven’t heard, I ask because of today’s announcement:
https://arstechnica.com/gadgets/2020/06/this-is-apples-roadmap-for-moving-the-first-macs-away-from-intel/

First problem: OCaml supports ARM but only on Linux, any idea how hard it’d be to add the new platform? https://ocaml.org/learn/portability.html

Any other problem? I guess native compilation might take some work (but I’m not using it anyway!).

view this post on Zulip Gaëtan Gilbert (Jun 22 2020 at 20:30):

ocaml will probably add it

view this post on Zulip Pierre-Marie Pédrot (Jun 22 2020 at 20:53):

I don't think that native compilation will be harder, as long as the OCaml runtime provides dynlink

view this post on Zulip Paolo Giarrusso (Jun 23 2020 at 12:25):

Cool to hear. FWIW, now I also asked on https://discuss.ocaml.org/t/ocaml-for-arm-macos/6019?u=blaisorblade.

view this post on Zulip Jacques Garrigue (Jul 01 2020 at 14:40):

There has been ocaml cross compilers for ios/Arm64 for a while already, so this shouldn't be too hard to get it in the main release, as soon as somebody can get her hand on a working machine.

view this post on Zulip Jacques Garrigue (Jul 01 2020 at 14:42):

https://github.com/ocaml/ocaml/pull/9699


Last updated: Aug 19 2022 at 19:03 UTC