问题描述:

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.

相关阅读:
Top