ocaml - Ocalmfind 找不到 Z3 包

Question

我已经从这里安装了 z3 包https://github.com/Z3Prover/z3.git 但是 ocamlfind 无法找到它。

如果我运行 which z3，它会列出组件的安装位置。但是，Ocamlfind 无法找到它。

安装 Z3 的步骤

python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g
cd build
make 
make install