依赖安装
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