Frama-C Gui на mavericks не работает

Кто-нибудь устанавливал Frama-C на Mavericks? Потому что я не могу его установить или не знаю, как его установить (версия 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

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

Как я могу это решить?


ocaml frama-c osx-mavericks
person Damiii    schedule 28.04.2014    source источник

Ответы (3)


arrow_upward
1
arrow_downward

Я успешно установил 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 и установить его в своей системе.

person user2291590    schedule 07.05.2014
comment
Спасибо ! :) Я установил версию Carbon на mavericks, которая работает, и поэтому она мне сейчас не нужна, версия Neon! Но если это сработает, я очень ценю ваш ответ для меня и других, кто хочет установить его на mavericks! :) - person Damiii; 08.05.2014

arrow_upward
4
arrow_downward

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

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

1) Устанавливаем homebrew

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

2) Установите opam:

$ 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, как описано в здесь

Надеюсь на эту помощь

person user3849608    schedule 17.07.2014
comment
Совет: если вам не нужны все эти зависимости (или установка по какой-то причине не удалась), попробуйте вместо этого установить frama-c-base. - person dom96; 13.04.2018

arrow_upward
0
arrow_downward

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

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

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

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

person nlucaroni    schedule 28.04.2014
comment
И как я могу это сделать? : / - person Damiii; 28.04.2014
comment
@Damiii, вы устанавливаете пару библиотек с помощью команды port. Можете попробовать их через opam установить? используйте opam list -a| grep name, чтобы получить имена подходящих пакетов opam - person Kakadu; 28.04.2014
comment
@Kakadu Я считаю, что opam предназначен для библиотек OCaml. Я ошибся? В этом случае было бы совершенно нормально использовать port MacPorts для установки всех зависимостей Gtk перед началом установки библиотек привязки OCaml. С другой стороны, использование port для установки ocaml-ocamlgraph, вероятно, не будет хорошо сочетаться с opam, (а пакеты MacPorts недостаточно актуальны, чтобы предоставлять пакеты OCamlgraph, совместимые с Frama-C. Лучше не устанавливать это и пусть Frama-C использует включенный снимок OCamlgraph). - person Pascal Cuoq; 28.04.2014
comment
поэтому я сделал эти установки: opam install lablgtk opam install conf-gnomecanvas opam install gtk-light opam install lablgtk-extras И ничего не изменил: / - person Damiii; 28.04.2014
comment
... пусть Frama-C использует включенный снимок OCamlgraph). Который ? Где мне это взять? - person Damiii; 28.04.2014
comment
ocamlgraph также есть в OPAM, Damiii. - person nlucaroni; 28.04.2014
comment
z $ opam install ocamlgraph [ПРИМЕЧАНИЕ] Пакет ocamlgraph уже установлен (текущая версия - 1.8.5). - person Damiii; 28.04.2014
comment
похоже, что это проблема, о которой я упоминал изначально, и в настоящее время у вас должна быть версия 1.8.4 ocamlgraph с frama-c. Вы можете изменить файл opam для frama-c в .opam/repo/default/packages/frama-c/frama-c.20130601/opam и добавить дополнительное ограничение. - person nlucaroni; 29.04.2014
comment
и как я могу загрузить эту версию? - person Damiii; 29.04.2014
comment
хммм, у меня не было проблем с загрузкой и установкой frama-c прямо сейчас iva OPAM. Я скептически отношусь к этому, здесь может происходить что-то еще. - person nlucaroni; 29.04.2014
comment
хммм версия этого файла: зависит: [ocamlgraph {›= 1.8.3} lablgtk conf-gtksourceview conf-gnomecanvas] - person Damiii; 29.04.2014
comment
А у вас есть Маверикс? :( - person Damiii; 29.04.2014
comment
как удалось установить нлюкарони? Какие команды вы выполняли на индивидуалках? - person Damiii; 29.04.2014
comment
это не было на индивидуалках, но это не проблема индивидуалистов. это проблема версии этих пакетов. opam install frama-c. - person nlucaroni; 29.04.2014
comment
Оперативная установка drama-c действительно работает! но где тогда мой графический интерфейс? - person Damiii; 29.04.2014
comment
Не отображается на моем терминале. Только фрама-с - person Damiii; 29.04.2014
comment
Возможно, вам не хватает gnomecanvas? - person nlucaroni; 29.04.2014
comment
На opam нет такого холста гнома - person Damiii; 29.04.2014
comment
Может мне никто не поможет? :( - person Damiii; 29.04.2014
comment
gnome-canvas не предоставляется OPAM. OPAM в настоящее время имеет только пакеты OCaml. Из раздела установки руководства пользователя frama-c, для построения графического интерфейса пользователя требуются пакеты, связанные с Gtk: gtk + версии 2.4 или выше, GtkSourceView версии 2.x, Gnome-Canvas версии 2.x, а также LablGtk версии 2.14 или выше. (GUI) Frama-C. Тогда вам нужно переустановить frama-c, поскольку графический интерфейс является необязательной зависимостью. - person nlucaroni; 29.04.2014