Frama-C を Mavericks にインストールした人はいますか? インストールできない、またはインストール方法がわからないため(Guiバージョン)!
私はすでに ocaml を PC にインストールしていますが、Gui バージョンでは次のライブラリをインストールする必要があります: Gtk、GtkSourceView、GnomeCanvas、Lablgtk2。
だから私は以前の投稿を見て、それをしました:
export PKG_CONFIG_PATH=/opt/local/lib/pkgconfig
sudo port install opam
opam init
Y
eval `opam config env`
sudo port install gtksourceview2 lablgtk2 ocaml-ocamlgraph
opam install frama-c
次のようなframa-cで「make」を行う際に問題があります:
Ocamlc src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2027:
Error: Signature mismatch:
...
Values do not match:
val vertex_attributes :
v ->
[> `Color of int
| `Label of string
| `Shape of [> `Box | `Diamond ]
| `Style of [> `Bold | `Filled ] list
| `Width of float ]
list
is not included in
val vertex_attributes :
V.t -> Graph.Graphviz.DotAttributes.vertex list
File "src/logic/property_status.ml", line 1479, characters 16-33:
Actual declaration
make: *** [src/logic/property_status.cmo] Error 2
どうすればこれを解決できますか?