在 ubuntu 上安装 frama-c

Question

我正在尝试按照此处 http://frama-c.com/download.html 的说明在 ubuntu 上安装 frama-c，在安装所有必要的软件包并给出最终命令 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 默认安装所有程序的地方。

在 ubuntu 上安装 frama-c

Installing frama-c on ubuntu

ubuntu

frama-c

opam