小牛队的 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 制作“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

我该如何解决这个问题？

Answer 1

我刚刚使用 opam 和 homebrew 在 maverick 上成功安装了 Frama-c neon (with 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，如 here 所述

希望有帮助

Answer 2

我已经成功地使用 brew 在 mavericks 上安装了带有 gui 的 frama-c Neon，以获取所有依赖项并使用 http://frama-c.com/download.html 中的源代码。如果您尝试使用 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。两个最新版本之间似乎有一个incompatibility。

您必须在 frama-c 库上添加版本约束，或更改 Style 属性以获取多态变体集的列表。

编辑-

你不需要通过端口安装 ocamlgraph，你也应该通过 opam 安装它。