跑步时
frama-c-gui aluminium
open suse 13.1上的发出警告信息：
[gui]警告：未找到Mime类型'text / x-csrc'
这可能是什么原因和解决方案？
答案 0 :(得分：1)
frama-c依靠gtksourceview库在GUI中提供语法高亮（包括规范化代码和原始源视图）。因此，它向gtksourceview询问对应于text/x-csrc mime类型的语言定义，对应于C源文件。如果gtksourceview找不到这样的语言定义，则会发出警告。
您可能想检查一下gtksourceview的安装是否包含正确的语言定义（在我的Debian上，它位于/usr/share/gtksourceview-2.0/language-specs/下，如果没有，是否有一些包可以提供它们。