Frama-C Gui на Маверикс не работает

Question

Кто-нибудь устанавливал Frama-C на Маверикс? Потому что я не могу установить его или не знаю, как его установить (Gui Version)!

Я уже установил 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

У меня проблема с созданием make с помощью 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

Я успешно установил frama-c Neon с графическим интерфейсом на mavericks, используя brew для получения всех зависимостей и используя исходный код в http://frama-c.com/download.html. Если вы попытаетесь сделать это с помощью brew, вам следует установить lablgtk из этого репозитория ( https://github.com/mht208/homebrew-formal) и только после всех других зависимостей, чтобы команды для установки с графическим интерфейсом были (в исходном коде) папка):

  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

Вы также можете установить ocamlgraph с opam, и вы можете скомпилировать Zarith и установить в вашу систему.

Answer 2

Я только что успешно установил Frama-C Neon (с Gui) на Maverick, используя opam и homebrew.

вот мое прохождение (Благодаря подсказкам выше)

1) Установить доморощенный

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

2) Установить опам:

$ brew install opam
$ opam init

(Мне пришлось изменить.profile вместо.bashrc с опцией f)

$ 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 3

Graph.Graphviz от OCamlGraph. Кажется, существует несовместимость между двумя последними версиями каждой.

Вам нужно будет добавить ограничения версии в библиотеку frama-c или изменить атрибут Style, чтобы получить список набора полиморфных вариантов.

РЕДАКТИРОВАТЬ -

вам не нужно устанавливать ocamlgraph через порт, вы также должны установить его через opam.