我期待着做一些Frama-C開源項目的實驗,並希望在Windows 7機器上安裝這些工具。它看起來像以前的版本有Windows的二進制安裝程序,但最新版本,氮氣,只有源代碼可用。該項目的網站frama-c.com表示這些應該可用,但我沒有在他們的下載頁面上看到它們。二進制安裝程序在其他地方可用嗎?Frama-C Windows二進制文件可用?
回答
您將找到here安裝Frama-C Nitrogen二進制版本的說明,這是本文的最新版本。它安裝在老版本Boron之上,並將其升級到氮氣。
畢竟這次,我終於開始安裝,但我有問題,你有指令的鏈接。執行完所有步驟並執行安裝測試後,出現錯誤: 致命錯誤:異常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
- 1. Windows以iPhone二進制文件
- 2. Sanchez GT.M的Windows二進制文件
- 3. Windows二進制文件疑難解答
- 4. Windows上的胖二進制文件?
- 5. qt lrelease windows二進制文件?
- 6. 在哪裏可以獲得gtk-sharp3的windows二進制文件
- 7. git-svn在Windows上。哪裏可以得到二進制文件?
- 8. 複製二進制文件
- 9. C++ windows二進制文件:與MinGW一起使用的條件
- 10. 用於windows的wxWindows 2.9二進制文件
- 11. 如何在Windows PE二進制文件中啓用ASLR?
- 12. Windows上的二進制文件有什麼用?
- 13. 我可以在哪裏下載適用於Windows的GCC二進制文件?
- 14. 在哪裏可以獲得適用於Windows x64bit的JRE二進制文件/ zip?
- 15. Ruby grep二進制文件?
- 16. 二進制文件(var/object)
- 17. 二進制文件I/O
- 18. 二進制安裝文件
- 19. 的Python:二進制文件
- 20. 二進制「尾巴」文件
- 21. 追加二進制文件
- 22. 打印二進制文件
- 23. Cassandra和二進制文件
- 24. StringIO與二進制文件?
- 25. 從二進制文件
- 26. WebSphere MQ二進制文件
- 27. 二進制文件下載
- 28. Android:PDF二進制文件
- 29. 修改二進制文件
- 30. 二進制文件解釋
構建命令行版本只需要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