Frama-C Gui對特立獨行者不起作用

Question

是否有人在Mavericks上安裝了Frama-C？ 因為我無法安裝它或不知道如何安裝（Gui版本）！

我已經在我的電腦上安裝了ocaml，但是對於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進行“制作”時遇到問題，即：

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

我該如何解決呢？

Answer 1

我剛剛使用opam和homebrew成功地在特立獨行的系統上安裝了Frama-c霓虹燈（與Gui）。

這是我的演練。 （感謝上面的提示）

1）安裝自制軟件

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

2）安裝opam：

$ brew install opam
$ opam init

（我不得不用f選項修改.profile而不是.bashrc）

$ 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作為解釋這里

希望這個幫助

Answer 2

我已經使用brew獲得了所有依賴關系，並使用了http://frama-c.com/download.html中的源代碼，在特立獨行者上成功安裝了帶有gui的frama-c Neon。 如果您嘗試使用brew執行此操作，則應從此存儲庫（ https://github.com/mht208/homebrew-formal ）中安裝lablgtk，並且僅在所有其他依賴項之后才能安裝gui安裝命令夾）：

  brew install ocaml
  brew install gtk
  brew install gtksourceview
  brew install gnomecanvasmm gnomecanvas
  brew tap mht208/formal
  brew install lmht208/formal/lablgtk -with-gnomecanvas -with-gtksourceview2 
  ./configure
  make

您也可以使用opam安裝ocamlgraph，並且可以編譯Zarith並將其安裝在系統中。

Answer 3

Graph.Graphviz來自OCamlGraph 。 每個版本的兩個最新版本之間似乎不兼容 。

您必須在frama-c庫上添加版本約束，或更改Style屬性以獲取多態變體集的列表。

編輯-

您不需要通過端口安裝ocamlgraph，也應該通過opam進行安裝。