Tôi đang tìm kiếm một số thử nghiệm với dự án mã nguồn mở Frama-C và muốn cài đặt các công cụ trên máy tính Windows 7. Dường như các phiên bản trước có trình cài đặt nhị phân cho Windows, nhưng phiên bản mới nhất, Nitơ, chỉ có sẵn mã nguồn. Trang web cho dự án frama-c.com nói rằng những điều này sẽ có sẵn nhưng tôi không thấy chúng trên trang tải xuống của chúng. Trình cài đặt nhị phân có sẵn ở nơi khác không?Frama-C Windows Binary Available?
Bạn sẽ tìm thấy here hướng dẫn cài đặt phiên bản nhị phân của Frama-C Nitơ, phiên bản mới nhất của bài viết này. Nó cài đặt trên đầu trang của phiên bản cũ hơn Boron, và nâng cấp nó lên Nitơ.
Sau tất cả thời gian này, tôi cuối cùng đi xung quanh để cài đặt, nhưng tôi đang gặp vấn đề với liên kết để hướng dẫn mà bạn có. Sau khi thực hiện tất cả các bước và thực hiện kiểm tra cài đặt, tôi gặp lỗi: Lỗi nghiêm trọng: ngoại lệ GdkPixbuf.GdkPixbufError (3, "Không thể nhận dạng hình ảnh định dạng tệp cho tệp 'C: \ Frama-c- Nitơ-20111001 \ share \ frama-c/frama-c.ico '")" Tập tin này có ở đó nên tôi không chắc chắn vấn đề là gì. Tôi có thể thử cài đặt theo MSYS. –
Tôi có cùng một vấn đề trên một Trong bất kỳ trường hợp nào, vì đây chỉ là biểu tượng trên thanh tác vụ của chương trình và chỉ có mục đích thẩm mỹ, bạn có thể xóa tệp .ico một cách an toàn (và cuối cùng là tệp .gif tốt, nếu bạn có một vấn đề với nó cũng như tôi đã làm) và chạy một lần nữa, nó sẽ phát ra một cảnh báo nhưng nên làm việc tốt nếu không. – anol
Xây dựng phiên bản dòng lệnh chỉ yêu cầu môi trường POSIX và OCaml (phiên bản giữa 3.10.2 và 3.12.1). Vì vậy, nếu bạn đã cài đặt MinGW, nó sẽ đơn giản như cài đặt một gói nhị phân cho OCaml từ http://caml.inria.fr/ và sau đó biên dịch Frama-C từ nguồn. Đó là GUI gây bực bội để biên dịch và phân phối. –
Vẫn không phải là câu trả lời, nhưng Sylvain Nahas cung cấp hướng dẫn biên dịch tương đối chi tiết như một phần của báo cáo lỗi này: http://bts.frama-c.com/view.php?id=1087 –