Aaron Chen (Feb 15 2023 at 10:00): Aaron Chen (Feb 15 2023 at 10:00):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.
Fabian Huch (Feb 15 2023 at 14:46):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.
Aaron Chen (Feb 16 2023 at 04:48):Isn't the binary Isabelle2022.app/Isabelle still x86_64? How to build one for arm64?
Last updated: Apr 26 2024 at 12:28 UTC