在ubuntu上安装frama-c

我正试图按照这里的说明在ubuntu上安装frama-c，在安装了所有必要的软件包，并给出了最后的命令

opam install-j1FRAMA-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.

---

显然它已安装，但我在我的系统中的任何地方都找不到它，它可能在哪里？

如果OPAM设置正确，frama-c二进制文件应该在您的路径中。只需运行

frama-c

或

frama-c-gui

即可调用它

您可以使用

which

工具查找可执行文件的实际路径：

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

---

此

.opam/system/bin

目录是opam默认安装其所有程序的地方。

请注意，目前opam中没有Frama-C 15（磷）版本，但应在几分钟/小时内提供。如果你想要一个全新的安装。。。（进行

opam更新和&opam升级

应该足以获得新版本，一旦它将出现在opam存储库中）我不寻找最新版本。我只是想在opam中安装可用的版本。与此相关的最新版本（磷）的优点之一是，可变插件现在默认启用，这将有助于处理可变功能，例如

printf

/

scanf

。是的，这是任何人都会做的第一件事。在CLI上使用frama-c命令返回：程序“frama-c”当前未安装。就opam而言，“哪个opam”给了我/usr/local/bin/opam。我如何知道opam设置是否正确。ok。我得到了它。显然.opam目录是隐藏的，所以我无法在目录列表中查看它。frama-c也只能在.opam目录路径内访问。谢谢在这种情况下，似乎您没有正确设置OPAM。安装OPAM时，它会询问您是否可以修改

.profile

以将该路径添加到

path

变量中。这将在您下次注销和重新登录时生效。在此之前，它还会告诉您要运行什么命令来设置环境而不注销。