CODEWITHSUNDEEP
ocamlz3ocamlfind
harin04
harin04

Reputation: 283

Ocalmlfind cannot find Z3 package

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

Upvotes: 2

Views: 443

Answers (0)

Related Questions