[isabelle-dev] Proven support for Linux ARM64

Makarius makarius at sketis.net
Fri Mar 1 19:08:31 CET 2024

On 01/03/2024 18:21, Haniel Barbosa wrote:
> FYI inspired by this thread we started to look into adding arm64 into
> our CI pipeline so we can provide this binary for users. Unclear when
> that'll materialize though.


can you point to the place in the cvc5 repository (or elsewhere) where the 
build happens? For now I could imitate that manually, e.g. on my own ARM64 
Linux node together with docker.


More information about the isabelle-dev mailing list