Frama-C和XML解析器

Question

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

Answer 1

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

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