一. ocaml的安装:
- OPAM:ocaml的包管理器,安装ocaml编译器和ocaml包。
https://opam.ocaml.org/doc/Install.html#Upgrading-from-a-previous-version
opam switch 版本 :切换ocaml版本
Linux添加代理: proxychains
sudo apt install proxychains
vim /etc/proxychains.conf
修改末行,socks5 127.0.0.1 1080(改成自己的代理IP)
CIL:CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C.
http://cil-project.github.io/cil/doc/html/cil/
https://github.com/cil-project/cil
Merlin: