【发布时间】：2023-04-04 05:57:01
【问题描述】：
我曾尝试在 Windows 7 上运行 Frama-C，但没有成功。
我已阅读您在此处编写的所有提示和 cmets，但仍然无法正常工作。
有人可以解释一下安装过程是一个清晰简单的方法吗，我将不胜感激？
【问题讨论】：
标签： frama-c
【发布时间】：2023-04-04 05:57:01
【问题描述】：
Windows 7 最简单的安装方法是使用 Boron 版本的 Windows 二进制安装程序 (http://frama-c.com/download/frama-c-Boron-20100401.exe)。如果你安装了这个版本，你仍然需要安装 gcc-preprocessor 以便 frama-c 构建你的源代码。
较新的版本（即 Sodium）要求您从源代码分发中构建，这意味着您需要安装安装说明中列出的几个先决条件：
- GNU make 版本 >= 3.81
- Objective 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）
如果您需要从源代码构建，请发表评论，我将为您提供完成该步骤的步骤。
【讨论】：
-
只是一个更新：OPAM 可以使用OCaml for Windows 直接编译较新的版本。由于 Boron 是一个非常古老且不受支持的版本，因此目前推荐使用 OPAM。
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 on Windows 安装说明会在 Frama-C 的 wiki 上定期更新。
【讨论】：