我正在尝试安装Z3(
https://github.com/Z3Prover/z3
)
我已运行以下命令。
> python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g
我有个例外。
*文件“/scripts/mk_make.py”,第18行,in
mk_bindings(api_文件)文件“/cygdrive/e/ocamal programming/installer/2019年1月/z3/z3 master/scripts/mk_util.py”,行
3280,在mk_绑定中
check_ml()file“/cygdrive/e/ocamal programming/installer/2019年1月/z3/z3 master/scripts/mk_util.py”,第480行,check_ml
raise mkexception('测试ocamlopt编译器失败。使用ocaml native的路径设置环境变量ocamlopt
编译器。请注意,ocamlopt可能要求flexlink位于
路径')
mk_exception.mkexception:'测试ocamlopt编译器失败。
使用ocaml native的路径设置环境变量ocamlopt
编译器。请注意,ocamlopt可能要求flexlink位于
路径'。*
我已经添加了环境变量以及flexdll的路径(C:\程序文件(x86)\ flexdl\flexlink.exe)
请告诉我还有什么可以试试的。
