我正在尝试安装 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 的新手