我正在尝试安装z3（https://github.com/Z3Prover/z3） 我已经运行了以下命令。
> python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g
我遇到了这个例外。
*文件“ ./scripts/mk_make.py”，第18行，在 mk_bindings（API_files）文件“ / cygdrive / e / OCamal编程/安装程序/ Jan 2019 / Z3 / z3-master / scripts / mk_util.py”，行 3280，在mk_bindings中 check_ml（）文件“ / cygdrive / e / OCamal编程/安装程序/ 2019年1月/Z3/z3-master/scripts/mk_util.py”，行480，在check_ml中 引发MKException（'测试ocamlopt编译器失败。使用Ocaml本机路径设置环境变量OCAMLOPT 编译器。请注意，ocamlopt可能需要将flexlink放入您的 路径。”
mk_exception.MKException：'测试ocamlopt编译器失败。 使用Ocaml本机的路径设置环境变量OCAMLOPT 编译器。请注意，ocamlopt可能需要将flexlink放入您的 路径。'*
我添加了环境变量以及flexdll（C：\ Program Files（x86）\ flexdl \ flexlink.exe）的路径
请提出我还能尝试的其他方法。