2

Linux で z3 用の OCaml バインディングをコンパイルしようとしています。

提供された Makefile を使用してみました:「make ocamlrelease」を実行しましたが、エラー cp: cannot stat `ml_release/build-lib.sh': No such file or directory で中止されました

また、ml ディレクトリに含まれている readme.txt を読むと、SLAM と SDT を使用するように書かれていますが、これらは Linux ではなく Windows でのみ機能するようです。

OCaml バインディングをコンパイルするにはどうすればよいですか?

ありがとう、ホセ

4

1 に答える 1

1

現在、この問題に取り組んでいます。すぐに修正する必要があります。現在、 http://z3.codeplex.comで入手できる ML バインディングは機能しません。壊れた参照と Windows のみの依存関係がいくつかあります。これは修正されます。

于 2012-10-08T15:38:41.077 に答える