问题描述
在我自己的 Frama-C 插件中,我想使用 ppx_compare 来生成比较函数。将以下行添加到我的插件的 Makefile 后:
PLUGIN_REQUIRES = ppx_compare
插件编译安装成功,但是运行frama-c失败,报错信息如下:
[kernel] User Error: cannot load plug-in 'base': cannot load module
Details: The module `Base' is already loaded (either by the main program or a prevIoUsly-dynlinked library)
[kernel] User Error: cannot load plug-in 'ppx_compare.runtime-lib': cannot load module
Details: interface mismatch on Base
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
这似乎是 Frama-C 的 Base 模块和 Jane Street 的 Base 库的冲突。这个问题有什么解决方法吗?
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)