0

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

どうすればこれを解決できますか?

4

3 に答える 3

4

opam と自作を使用して、マーベリックに Frama-c ネオン (Gui を使用) を正常にインストールしました。

これが私のウォークスルーです。(上記のヒントのおかげで)

1) 自作をインストールする

$ruby -e "$(curl -fsSL https://raw.github.com/Homebrew/homebrew/go/install)"

2) opam をインストールします。

$ brew install opam
$ opam init

(fオプションを使用して.bashrcの代わりに.profileを変更する必要がありました)

$ eval `opam config env`

3) すべての依存関係をインストールする

$ brew install gtk+
$ brew install gtksourceview
$ brew install libgnomecanvasmm libgnomecanvas
$ brew install lablgtk

4) Frama-c をインストールする

$ export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig
$ opam install frama-c

macports で依存関係をインストールしたい場合は、ここで説明されているように、PKG_CONFIG_PATH を /opt/X11/lib/pkgconfig に変更します。

この助けを願っています

于 2014-07-17T14:23:15.430 に答える