Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Apple switching to ARM


view this post on Zulip Email Gateway (Jan 03 2021 at 11:38):

From: Makarius <makarius@sketis.net>
In the meantime I have occasionally looked through your scripts and patches
from that repository.

Current Isabelle2021-RC1 supports arm64-linux (Pi OS) and arm64-darwin (macOS
Big Sur) to some extent.

Instead of official https://isabelle.in.tum.de/website-Isabelle2021-RC1 this
requires to use a repository clone
https://isabelle.sketis.net/repos/isabelle/file/Isabelle2021-RC1/README_REPOSITORY
--- after the "hg clone" command you can navigate the desired version e.g. via
"hg up -r Isabelle2021-RC1".

I am still considering how much arm64-darwin will be in the final app bundle
Isabelle2021 (February 2021). There will be nothing particular for arm64-linux
(or NixOS), though.

Makarius


Last updated: Dec 05 2021 at 22:18 UTC