走りながら
frama-c-gui aluminium
onopen suse 13.1は警告メッセージを表示します:
[gui] 警告: MIME タイプ 'text/x-csrc' が見つかりません
これの原因と解決策は何ですか？
1 に答える
1
frama-c は gtksourceview ライブラリに依存して、GUI で構文の強調表示を提供します (正規化されたコードと元のソース ビューの両方)。text/x-csrcしたがって、C ソース ファイルに対応する MIME タイプに対応する言語定義を gtksourceview に要求します。gtksourceview がそのような言語定義を見つけられない場合、警告が発行されます。
gtksourceview のインストールに実際に適切な言語定義が含まれているかどうかを確認することをお勧めします (私の Debian では、これは の下/usr/share/gtksourceview-2.0/language-specs/にあります。含まれていない場合は、それらを提供できるパッケージがあるかどうか.
于 2016-09-21T14:00:36.563 に答える