MacOS下搭建Aptos开发环境
Aptos在MacOS上搭建Aptos开发环境搭建
Rust
Aptos很多工具包都需要Rust支持,所以我们先安装Rust。
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh运行以下命令,说明安装成功。
cargo --versionAptos CLI
下载地址:
下载之后,解压出名为aptos的文件复制到 /usr/local/bin, 然后运行下面命令:
chmod +x /usr/local/bin/aptosMove analyzer
这个在开发Move module的时候,可以做语法提示,错误分析等。
cargo install --git https://github.com/move-language/move move-analyzer --features "address32"注意:"address32"是必须参数,因为Aptos地址为32位的,而不是默认的20位。
完成之后执行如下命令,则说明成功。
move-analyzer --versionMove prover
用于做形式化证明,是Aptos合约开发的核心安全工具。
下载Move的repo, 然后运行其中的环境配置脚本
git clone https://github.com/move-language/move
cd move
./scripts/dev_setup.sh -ypt运行如下命令,则说明安装成功。
boogie /versionVSCode 插件配置
安装插件:damirka.move-syntax
安装插件:move.move-analyzer,这个插件需要配置这一步 Move analyzer 的路径。

Tips: 执行which move-analyzer 可以查看到安装路径。
到这里开发环境就基本搭建完成了,接着可以进行:
Last updated