Frama-C Windows二进制文件可用？

我期待着做一些Frama-C开源项目的实验，并希望在Windows 7机器上安装这些工具。它看起来像以前的版本有Windows的二进制安装程序，但最新版本，氮气，只有源代码可用。该项目的网站frama-c.com表示这些应该可用，但我没有在他们的下载页面上看到它们。二进制安装程序在其他地方可用吗？Frama-C Windows二进制文件可用？

来源

2012-01-01 Bryan C.

构建命令行版本只需要POSIXish环境和OCaml（版本介于3.10.2和3.12.1之间）。因此，如果您已经安装了MinGW，则应该像从http://caml.inria.fr/为OCaml安装二进制软件包一样简单，然后从源代码编译Frama-C。这是令人沮丧的编译和分发的GUI。 – 2012-01-01 19:45:33

仍然没有答案，但Sylvain Nahas提供了相对详细的编译指令，作为这个错误报告的一部分：http://bts.frama-c.com/view.php?id=1087 – 2012-02-09 18:36:22

您将找到here安装Frama-C Nitrogen二进制版本的说明，这是本文的最新版本。它安装在老版本Boron之上，并将其升级到氮气。

来源

2012-02-10 08:50:28

毕竟这次，我终于开始安装，但我有问题，你有指令的链接。执行完所有步骤并执行安装测试后，出现错误：致命错误：异常GdkPixbuf.GdkPixbufError（3，“无法识别图像文件的文件格式为'C：\ Frama-c-氮气20111001 \共享\ frama-c/frama-c.ico'“）”这个文件在那里，所以我不知道是什么问题，我可能会尝试安装在MSYS下 – 2012-05-07 02:04:13

我有同样的问题最近的安装;由于某些原因，只有WODI的lablgtk设法避免这种情况。无论如何，因为这只是程序任务栏图标，并且仅仅具有美学目的，您可以安全地擦除.ico文件（最终将.gif文件作为好吧，如果你也有问题，并且再次运行，它会发出警告，但应该正常工作，否则。 – anol 2016-02-15 08:44:59

Frama-C Windows二进制文件可用？

回答

相关问题