错误：在Lion 10.7下链接ocaml项目时不支持动态链接

Question

我希望这是我的问题的正确位置。其实我是coq用户，我正试图在“Mac OS X Lion 10.7.4”下使用ocaml实现一个新策略。我已经安装了我可能需要的所有库。编译我的ocaml文件后，当我尝试在coq中导入它时（我正在使用Proofgenral和Aquamacs）我收到此错误错误：不支持动态链接。经过长时间的搜索后，我发现链接库存在问题，但我还没有找到解决方法。

Answer 1

您可以尝试使用building a new coqtop。