Z3用の OCaml バージョンをコンパイルしようとしましたが、ビルドすると、常にエラーと警告が表示されます。
これらはいくつかのエラーです:
z3_stubs.c:7384: error: storage size of `_ctxs' isn't known
z3_stubs.c:7385: error: `camlidl_ctx' undeclared (first use in this function)
z3_stubs.c:7385: error: expected `;' before `_ctx'
よくわかりません。実行しようとするbuild.cmd
とエラーが発生します。誰かアイデアがありますか?