安装frama-c的准备工作
安装opam:
sudo add-apt-repository ppa:avsm/ppa
sudo apt update
sudo apt install opam
查看安装的opam版本:
opam --version
确认opam的版本>=2.0.0
最近在ubuntu18.04上重新安装,提示我需要opam init
在我初始化的时候报了一个这样的错误:
sudo easy_install mercurial
sudo apt-get install darcs
后面再运行opam init
的时候刚开始还是不行,后来自己就好了。。
使用opam安装fragma-c
# 安装frama-c的依赖项
opam install depext
opam depext frama-c
opam install frama-c
判断frama-c是否安装成功:
frama-c -help