Instalación de dependencia
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
compilar
./init --tut hello-camkes-0
cd hello-camkes-0miwkds3p_build
ninja
Nota: Es posible que falten otras herramientas durante la ejecución o compilación del script, solo instálelas de acuerdo con el informe de error
Finalmente, se informa que no hay espacio suficiente. Después de resolver el problema de espacio insuficiente, la compilación puede tener éxito.
correr
./simular
