それが私の質問の正しい場所であることを願っています。実は私は coq ユーザーで、「Mac OS X Lion 10.7.4」で ocaml を使って新しい戦術を実装しようとしています。必要なライブラリをすべてインストールしました。私の ocaml ファイルをコンパイルした後、それを coq にインポートしようとすると (私は Proofgenral と Aquamacs を使用しています)、エラー Error: Dynamic link not supported. が表示されます。長い検索の結果、ライブラリのリンクに問題があることがわかりましたが、修正方法が見つかりません。
質問する
135 次