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二進制文件可用？

回答

相關問題