Prusti Assistant Server fails to load on Apple Silicon m2

[rlaferla]

Installed OpenJDK 11 64-bit on Apple Silicon m2 (arm64) and Prusti VSCode extension:

Reason: tried: '/opt/homebrew/Cellar/openjdk@11/11.0.19/libexec/openjdk.jdk/Contents/Home/lib/jli/libjli.dylib' (mach-o file, but is an incompatible architecture (have 'arm64', need 'x86_64'))

 % file /opt/homebrew/Cellar/openjdk@11/11.0.19/libexec/openjdk.jdk/Contents/Home/lib/jli/libjli.dylib
/opt/homebrew/Cellar/openjdk@11/11.0.19/libexec/openjdk.jdk/Contents/Home/lib/jli/libjli.dylib: Mach-O 64-bit dynamically linked shared library arm64

% arch -arm64 brew install openjdk@11
export PATH="/opt/homebrew/opt/openjdk@11/bin:$PATH"
export CPPFLAGS="-I/opt/homebrew/opt/openjdk@11/include"

VSCode Version: 1.77.3 (Universal) on macOS Ventura 13.3.1

[fpoli]

Closing as duplicate of viperproject/prusti-assistant#191 and #1193