verus-lang / verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)
Apache License 2.0
10 stars 4 forks source link

Support aarch64-linux #31

Closed panda2134 closed 3 months ago

panda2134 commented 3 months ago

Added missing build compat support for aarch64-linux. Tested on ubuntu 24.04 arm64.