在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> = 3.81
• 目标Caml> = 3.12.1(4.02.0除外);
• 带有标准C和POSIX标头和库的C编译器

Frama-C GUI还需要:

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

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