[isabelle-dev] Proven support for Linux ARM64

[Makarius]

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.

Haniel,

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.


	Makarius