Stream: General

Topic: How to build from source?

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Aaron Chen (Feb 16 2023 at 04:48):

Isn't the binary still x86_64? How to build one for arm64?

Last updated: Dec 07 2023 at 08:19 UTC