Frama-C和XML解析器

Question

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

Answer 1

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

• PLUGIN_BFLAGS允许向OCaml的字节码编译器传递额外选项，例如-I /my/path/to/xml/library ， -I `ocamlfind xml-light`或-I $(XMLLIGHTPATH) ，其中您的configure设置了XMLLIGHTPATH脚本（另请参阅开发人员手册）。
• PLUGIN_OFLAGS与本机编译等效
• PLUGIN_EXTRA_BYTE提供了在字节码中编译时插件必须链接的文件列表，例如xmllight.cma
• PLUGIN_EXTRA_OPT是等效的本机代码，例如xmllight.cmxa