我正在尝试安装Z3软件包（https://github.com/Z3Prover/z3.git） 我运行了以下命令
./configure
cd build
make
make install
安装成功。但是，当我运行
Ocamlfind list
z3组件未列出。因此，当我尝试构建使用z3的项目时，它会因错误而失败
ocamlfind：找不到软件包“ Z3”。
我做了以下解决方法， a）将z3.exe位置添加到路径 b）我运行了以下python命令，但收到一条错误消息，提示它无法找到ocamlopt.exe路径。
python scripts/mk_make.py --python.
请提供一些指导。我是Ocaml和linux的新手