JackyHuang

[Bug Report]不支持mac arm架构，m1下无法安装，并且mpm出现内存不足

1

# Bug Report 不支持mac arm，原因是.net5不支持mac arm，需要修改dev_steup.sh如下 DOTNET_VERSION=6.0 BOOGIE_VERSION=2.15.7 修改这两个版本后能安装使用，但是mpm在‘mpm package prove’的时候会导致mac提示内存不足，参看内存占用非常高，并且prove形式化验证不会返回结果

Help~ try to build msnodesqlv8, failed!

1

node-gyp rebuild --verbose gyp info it worked if it ends with ok gyp verb cli [ gyp verb cli 'C:\\Program Files\\nodejs\\node.exe', gyp verb cli 'C:\\Program Files\\nodejs\\node_modules\\node-gyp\\bin\\node-gyp.js', gyp verb cli 'rebuild',...

尝试邮箱忘记密码收不到验证码，邮箱地址：[email protected]