Я пытался скомпилировать версию OCaml для Z3 , однако при сборке всегда отображается куча ошибок и предупреждений.
Вот несколько ошибок:
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, и происходит ошибка, у кого-нибудь есть идея?