依赖安装
sudo pip3 install plyplus sudo pip3 install ordered_set sudo apt-get install haskell-stack sudo apt-get install texlive-bibtex-extra sudo apt-get install mlton-compiler sudo apt-get install texlive-latex-extra texlive-metapost sudo pip3 install --user camkes-deps sudo apt-get install libssl-dev libclang-dev libcunit1-dev libsqlite3-dev stack upgrade --binary-only #重要，一定执行，然后查看是否正确，否则我这里编译一直报错 which stack # should be $HOME/.local/bin/stack sudo apt-get install cmake-curses-gui
编译
./init --tut hello-camkes-0 cd hello-camkes-0miwkds3p_build ninja
注: 运行脚本或者编译过程中可能还缺少其他工具，根据报错安装即可
注： 链接: 编译工具和环境依赖可以参考
注： 需要保持足够存储空间，编译的时候遇到卡着不动的现象，最后报出来空间不足，解决空间不足问题后，可以编译成功。
运行
./simulate
