I am trying to install frama-c on ubuntu following the directions here http://frama-c.com/download.html, after installing all the necessary packages, and giving the final command opam install -j 1 frama-c, the result is
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.
Apparently it is installed, but I cannot find it anywhere on my system, where it could be?
If you have OPAM set up correctly, the frama-c binary should be in your path. You can call it by just running frama-c or frama-c-gui.
You can use the which tool to find the actual path to the executable:
$ which frama-c
/home/isabelle/.opam/system/bin/frama-c
This .opam/system/bin directory is where OPAM installs all of its programs by default.