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