在Windows 7中安装并运行frama-C

Question

我试图在Windows 7上运行Frama-C，但它没有用。

我已经阅读了您在此处撰写的所有提示和评论，但仍无效。

有人能解释安装过程是一种清晰简单的方法，我会感激不尽吗？

Answer 1

Windows 7最简单的安装是使用Windows二进制安装程序进行Boron发布（http://frama-c.com/download/frama-c-Boron-20100401.exe）。如果确实安装了此版本，则仍需要安装gcc-preprocessor才能使frama-c构建源代码。

较新的版本（即Sodium）要求您从源代码分发构建，这意味着您需要安装安装说明中列出的几个先决条件：

• GNU make version＆gt; = 3.81
• 目标Caml＆gt; = 3.12.1（4.02.0除外）;
• 带有标准C和POSIX标头和库的C编译器

Frama-C GUI还需要：

• Gtk（＆gt; = 2.4）
• GtkSourceView 2.x
• GnomeCanvas 2.x
• LablGtk＆gt; = 2.14.0（如果使用OCaml＆gt; = 4.02.1则＆gt; = 2.18.2）

如果您需要从源代码构建，请发表评论，我将为您提供完成该步骤的步骤。

Answer 2

fdopen的OCaml for Windows允许安装带有特殊存储库的OPAM。

一旦拥有它，安装Frama-C只需要几个步骤：

# install depext, for external dependencies
opam install depext
# help Cygwin installing dependencies
opam install depext-cygwinports
# install Frama-C dependencies
opam depext frama-c
# install Frama-C itself
opam install frama-c

在Frama-C维基上定期更新

Frama-C on Windows安装说明。