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

Question

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

Answer 1

您可以尝试构建一个新的 coqtop。