我从here下载了frama-clang
,安装了opam
并用它来安装Ocaml 2.02.3。然后我建立了frama-c铝(很好),然后我运行./configure
然后make
。
在后一步中,我收到错误消息:
文件“frama_Clang_option.mli”,第26行,字符22-42:
错误:未绑定模块Parameter_sig
make:*** [frama_Clang_option.cmi]错误2
我一直在谷歌搜索几个小时,但我没有找到如何安装(貌似)缺少模块Parameter_sig
。我确信我已经安装了所有必需的软件(llvm,ocaml等),所以缺少什么,我该如何解决这个问题?