Ubuntu 14.04 frama-c 安装尝试

1.安装opam

http://opam.ocaml.org/doc/Install.html

add-apt-repository ppa:avsm/ppa
apt-get update
apt-get install ocaml ocaml-native-compilers camlp4-extra opam

直接用opam install frama-c, 会发现frama-c, ocamlfind, ocamlgraph 等需要的packages都被安装了，但是无法使用frama-c命令，暂时还不知道原因

opam安装的地址./.opam,有个点

分步安装尝试

2.Install OCaml

http://www.ocaml.org/docs/install.html

apt-get install ocaml-nox # If you don't want X11 support.
apt-get install ocaml

3.OCamlfind

OCamlGraph

Zarith