MacOS下搭建Aptos开发环境

Aptos在MacOS上搭建Aptos开发环境搭建

Rust

Aptos很多工具包都需要Rust支持，所以我们先安装Rust。

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

运行以下命令，说明安装成功。

cargo --version

Aptos CLI

下载地址：

https://github.com/aptos-labs/aptos-core/releases/download/aptos-cli-v1.0.0/aptos-cli-1.0.0-MacOSX-x86_64.zipgithub.com

Aptos 下载地址

下载之后，解压出名为aptos的文件复制到 /usr/local/bin, 然后运行下面命令：

chmod +x /usr/local/bin/aptos

Move analyzer

这个在开发Move module的时候，可以做语法提示，错误分析等。

cargo install --git https://github.com/move-language/move move-analyzer --features "address32"

注意："address32"是必须参数，因为Aptos地址为32位的，而不是默认的20位。

完成之后执行如下命令，则说明成功。

move-analyzer --version

Move prover

用于做形式化证明，是Aptos合约开发的核心安全工具。

1. 下载Move的repo, 然后运行其中的环境配置脚本

git clone https://github.com/move-language/move
cd move
./scripts/dev_setup.sh -ypt

运行如下命令，则说明安装成功。

boogie /version

VSCode 插件配置

安装插件：damirka.move-syntax

安装插件：move.move-analyzer，这个插件需要配置这一步 Move analyzer 的路径。

Tips: 执行which move-analyzer 可以查看到安装路径。

到这里开发环境就基本搭建完成了，接着可以进行：

编写并发布一个智能合约到Aptos