依赖安装
首先更新一下软件列表,顺手升级一下软件
sudo apt update
sudo apt upgrade
boost库
直接使用apt即可安装
sudo apt install libboost-all-dev
Limbo库
Limbo库无法用apt安装，并且依赖于其他库，包括flex、bison、zlib。
使用apt安装这些依赖库，
apt-get install flex zlib bison
安装完成后下载limbo源码，项目地址[https://github.com/limbo018/Limbo],下载完成后解压。
进入limbo_master文件路径
mkdir build
cd build
cmake ..
make install
PM编译测试
和上面安装Limon类似，也是解压后进入PM源码目录。
mkdir build
cd build
cmake ..
make
编译结束后回到源码目录，修改run.sh脚本中的路径，运行脚本即可。
