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