在跑步的时候
frama-c-gui aluminium
onopen suse 13.1给出警告信息：
[gui] 警告：未找到 Mime 类型 'text/x-csrc'
这可能是什么原因和解决方案？
问问题
65 次
1 回答
1
frama-c 依靠 gtksourceview 库在 GUI 中提供语法突出显示（规范化代码和原始源视图）。因此，它向 gtksourceview 询问对应于text/x-csrcmime 类型的语言定义，对应于 C 源文件。如果 gtksourceview 未找到此类语言定义，则会发出警告。
您可能想检查您的 gtksourceview 安装是否确实包含正确的语言定义（在我的 Debian 上，它位于 下/usr/share/gtksourceview-2.0/language-specs/，如果没有，是否有一些软件包可以提供它们。
于 2016-09-21T14:00:36.563 回答