Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Frama-C でプラグインを開発しています。xml ファイルを解析したい。パッケージ libxml-light-ocaml-dev をインストールしましたが、コンパイル中に「Unbound module Xml」というエラーが発生します。Frama-C がパッケージを認識できるようにする方法がわかりません。または、別のパッケージを使用する必要がありますか?