3

我正在 Frama-C 中开发一个插件。我想解析一个xml文件。我安装了软件包 libxml-light-ocaml-dev，但在编译时出现错误“Unbound module Xml”。我不知道如何继续使 Frama-C 可以看到包。或者我应该使用另一个包？

4

1 回答 1

4

假设您Makefile.dynamic按照 Frama-C 的开发人员手册中的说明使用，您必须调整一些变量才能编译插件并将其链接到外部库：

  • 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
于 2014-05-19T07:45:53.720 回答