Frama-C Windowsバイナリがありますか？

私はFrama-Cオープンソースプロジェクトを試してみたいと思っており、Windows 7マシンにツールをインストールしたいと考えています。以前のバージョンにはWindows用バイナリインストーラがあるようですが、最新バージョンのNitrogenにはソースコードしかありません。プロジェクトframa-c.comのウェブサイトでは、これらは利用できるはずだが、ダウンロードページには表示されないと言われています。バイナリインストーラは他にもありますか？Frama-C Windowsバイナリがありますか？

出典

2012-01-01 Bryan C.

コマンドラインバージョンをビルドするには、POSIX対応環境とOCaml（3.10.2と3.12.1の間のバージョン）が必要です。ですから既にMinGWをインストールしている場合は、http://caml.inria.fr/からOCamlのバイナリパッケージをインストールし、ソースからFrama-Cをコンパイルするだけで簡単です。それはコンパイルと配布に苛立つGUIです。 –

まだ答えはありませんが、Sylvain Nahasはこのバグレポートの一環として、比較的詳細なコンパイル方法を提供しています。http://bts.frama-c.com/view.php?id=1087 –

この文書の最新版であるFrama-C Nitrogenのバイナリバージョンをインストールするには、hereの手順があります。これは古いバージョンのBoronの上にインストールされ、それを窒素にアップグレードします。

出典

2012-02-10 08:50:28

この後、私はついにインストールに慣れていますが、あなたが持っている指示へのリンクに問題があります。致命的なエラー：例外GdkPixbuf.GdkPixbufError（3、 "ファイル 'C：\ Frama-c-fileの画像のファイル形式を認識できませんでした。 Nitrogen-20111001 \ share \ frama-c/frama-c.ico '"）"このファイルは存在しているので、何が問題なのかよくわかりません。私はMSYSの下にインストールしようとします。 –

非常に最近のインストール、何らかの理由でWODIのlablgtkだけがそれを回避することができました。いずれにせよ、これは単なるプログラムのタスクバーのアイコンであり、単に審美的な目的しかないので、.icoファイル（そして最終的に.gifファイルをまあ、もし私がしたようにそれにも問題があるなら）もう一度走って、それは警告を発しますが、そうでなければうまくいくはずです。 – anol

Frama-C Windowsバイナリがありますか？

答えて

関連する問題