I want to build for arm64-darwin. I know it is probably not working yet, but I wonder why and want to work on that.
Isabelle itself is always 'built from source' when you run it (that is, if something changed). Its external components are pre-built. If you refer to the ML runtime, then starting with Isabelle2022 we do have a bundled arm64-darwin pre-built component.
Isn't the binary Isabelle2022.app/Isabelle still x86_64? How to build one for arm64?
Last updated: Dec 07 2023 at 08:19 UTC