在ubuntu上安装frama-c

Question

我试图在ubuntu上安装frama-c，按照这里的http://frama-c.com/download.html说明，在安装了所有必要的软件包并给出最终命令opam install -j 1 frama-c之后，结果是

The following actions will be performed:
  ∗  install conf-gtksourceview 2             [required by frama-c]
  ∗  install conf-gnomecanvas   2             [required by frama-c]
  ∗  install conf-gmp           1             [required by zarith]
  ∗  install lablgtk            2.18.5        [required by frama-c]
  ∗  install zarith             1.2           [required by frama-c]
  ∗  install ocamlgraph         1.8.6         [required by frama-c-base]
  ∗  install altgr-ergo         1.01          [required by frama-c]
       This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
  ∗  install alt-ergo           1.01          [required by frama-c]
       This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
  ∗  install frama-c-base       20160502      [required by frama-c]
       Why3 can be used by the WP plug-in for running additional automatic solvers
       Coq can be used with the WP plug-in for proving interactively proof obligations
  ∗  install frama-c            20160502
===== ∗  10 =====
Do you want to continue ? [Y/n] Y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[alt-ergo] Archive in cache
[altgr-ergo] Archive in cache
[frama-c-base] Archive in cache
[lablgtk] Archive in cache
[ocamlgraph] Archive in cache
[zarith] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗  installed conf-gmp.1
∗  installed conf-gnomecanvas.2
∗  installed conf-gtksourceview.2
∗  installed lablgtk.2.18.5
∗  installed ocamlgraph.1.8.6
∗  installed zarith.1.2
∗  installed alt-ergo.1.01
∗  installed altgr-ergo.1.01
∗  installed frama-c-base.20160502
∗  installed frama-c.20160502
Done.

显然它已经安装好了，但是我在我的系统上找不到它，它可能在哪里？

Answer 1

如果您已正确设置OPAM，则frama-c二进制文件应位于您的路径中。您只需运行frama-c或frama-c-gui就可以调用它。

您可以使用which工具查找可执行文件的实际路径：

$ which frama-c
/home/isabelle/.opam/system/bin/frama-c

这个.opam/system/bin目录默认是OPAM安装其所有程序的地方。