PATTERN_MATCH环境搭建

依赖安装

首先更新一下软件列表,顺手升级一下软件

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脚本中的路径，运行脚本即可。