Ocalmlfind cannot find Z3 package

402 Views Asked by At

I have installed z3 package from here https://github.com/Z3Prover/z3.git However ocamlfind is not able for find it.

if i run which z3, it lists where the component is installed. However, Ocamlfind is not able to find it.

Steps followed to install Z3

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

There are 0 best solutions below