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进行安装。