开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Frama-C和XML解析器

问Frama-C和XML解析器
EN

Stack Overflow用户

提问于 2014-05-19 14:58:53

回答 1查看 167关注 0票数 3

我正在用Frama-C开发一个插件。我想解析一个xml文件。我安装了包libxml-light-ocaml-dev，但在编译时收到错误"Unbound module Xml“。我不知道如何让这个包对Frama-C可见。或者我应该使用另一个包？

EN

回答 1

Stack Overflow用户

发布于 2014-05-19 15:45:54

假设您正在使用Frama-C的开发人员手册中指出的Makefile.dynamic，为了编译和链接您的插件与外部库，您必须调整一些变量：

PLUGIN_BFLAGS允许将额外的选项传递给OCaml的字节码编译器，比如由您的配置脚本设置XMLLIGHTPATH的-I /my/path/to/xml/library、-I `ocamlfind xml-light`或-I $(XMLLIGHTPATH) (另请参阅that).
PLUGIN_OFLAGS的开发人员手册，它相当于本机compilation
PLUGIN_EXTRA_BYTE提供了一个文件列表，当以字节码进行编译时，您的插件必须链接到这些文件，比如xmllight.cma
PLUGIN_EXTRA_OPT是与本机代码等效的文件，比如xmllight.cmxa

票数 4

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/23731530

复制

相似问题