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

Question

我尝试在 Windows 7 上运行 Frama-C，但没有成功。

我已阅读您在这里写的所有提示和评论，但仍然不起作用。

有人可以用一种清晰简单的方式解释安装过程吗，我将不胜感激？

Answer 1

Windows 7 最简单的安装是使用 Boron 版本 ( http://frama-c.com/download/frama-c-Boron-20100401.exe ) 的 Windows 二进制安装程序。如果您安装此版本，您仍然需要安装 gcc 预处理器，以便 frama-c 构建源代码。

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

• GNU make 版本 >= 3.81
• objective-c aml >= 3.12.1(4.02.0 除外)；
• 具有标准 C 和 POSIX header 和库的 C 编译器

Frama-C GUI 还需要:

• Gtk (>= 2.4)
• GtkSourceView 2.x
• GnomeCanvas 2.x
• LablGtk >= 2.14.0(如果您使用 OCaml >= 4.02.1，则 >= 2.18.2)

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