【发布时间】：2017-06-02 16:19:35
【问题描述】：
我正在尝试按照此处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.
显然它已安装，但我在系统上的任何地方都找不到它，它可能在哪里？
【问题讨论】：
-
请注意，Frama-C 15（磷）版本在 OPAM 中现在不可用，但应该在几分钟/小时内。如果您想要真的全新安装...（执行
opam update && opam upgrade就足以获得新版本，一旦它将在 OPAM 存储库中） -
我不是在寻找最新版本。我只是想在 opam 中安装可用的版本。
-
与your previous question相关的最新版本（磷）的优点之一是现在默认启用了可变参数插件，这应该有助于处理可变参数功能，例如
printf/scanf.