0

有人在 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

我怎么能解决这个问题？

4

3 回答 3

4

我刚刚使用 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，如此处所述

希望这有帮助

于 2014-07-17T14:23:15.430 回答
1

我已经使用 brew 在小牛上成功安装了带有 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 并安装在您的系统中。

于 2014-05-07T18:29:39.323 回答
0

Graph.Graphviz来自OCamlGraph。每个版本的两个最新版本之间似乎不兼容。

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

编辑 -

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

于 2014-04-28T18:00:55.133 回答