Ubuntu 16.04 下 frama-c的安装

安装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的时候刚开始还是不行&