构建frama-clang时出错:未绑定模块Para​​meter_sig

时间:2016-08-09 20:27:08

标签: ocaml frama-c

我从here下载了frama-clang,安装了opam并用它来安装Ocaml 2.02.3。然后我建立了frama-c铝(很好),然后我运行./configure然后make

在后一步中,我收到错误消息:

  

文件“frama_Clang_option.mli”,第26行,字符22-42:

     

错误:未绑定模块Para​​meter_sig

     

make:*** [frama_Clang_option.cmi]错误2

我一直在谷歌搜索几个小时,但我没有找到如何安装(貌似)缺少模块Parameter_sig。我确信我已经安装了所有必需的软件(llvm,ocaml等),所以缺少什么,我该如何解决这个问题?

0 个答案:

没有答案