Email Gateway (Mar 06 2024 at 10:57): Email Gateway (Mar 06 2024 at 10:57):From: Makarius <makarius@sketis.net>
One notable NEWS entry is:
The arm64-linux platform is now officially supported, although a few
(non-essential) tools are missing:
It remains to be seen how far we get with that right now:
- "z3" still occurs frequently in AFP entries, but it can be usually
replaced by "verit" --- the Isabelle Z3 component is a bit old and will not be
updated for Isabelle2024.
- CVC4 might be replaced by cvc5 soon, with regular arm64-linux support.
- OCaml is uninportant
- Nunchaku is truly experimental an mostly unused
I do have my own virtual arm64-linux machine now, provided by Netcup.de.
Further note that Docker on Apple Silicon will work with arm64-linux.
Makarius
Email Gateway (Mar 06 2024 at 20:58):From: Makarius <makarius@sketis.net>
I have made a few more tests, and OCaml / OPAM actually looks fine on Ubuntu
22.04 --- an old problem with libzarith-ocaml did not occur anymore. The
revised NEWS are in Isabelle/1f7dcfdb3e67.
Makarius
Last updated: Apr 29 2024 at 01:08 UTC