当前位置: 动力学知识库 > 问答 > 编程问答 >

coq - Error: Dynamic link not supported when linking ocaml project under Lion 10.7

问题描述:

I hope that's the right place to my question. Actually I'm coq user and I'm trying to implement a new tactic using ocaml under "Mac OS X Lion 10.7.4 ". I have installed all the libraries that I may need it. After compiling my ocaml file and when I try to import it in coq (I'm using Proofgenral and Aquamacs) I get this error Error: Dynamic link not supported. After a long search I find that's a problem in linking libraries but I haven't find how to fix it.

网友答案:

You could try building a new coqtop instead.

分享给朋友:
您可能感兴趣的文章:
随机阅读: