Ubuntu 14.04 frama-c 安装尝试
1.安装opamhttp://opam.ocaml.org/doc/Install.htmladd-apt-repository ppa:avsm/ppa
apt-get update
apt-get install ocaml ocaml-native-compilers camlp4-extra opam直接用opam install frama-c, 会发现frama-c, ocamlfin...
原创
2018-03-06 21:45:55 ·
995 阅读 ·
0 评论