harin04
harin04

Reputation: 281

Z3 Installation issue on windows 10

I am trying to install Z3 package(https://github.com/Z3Prover/z3.git) I ran the following commands

./configure
cd build
make 
make install

Installation was successfull. However when i run

Ocamlfind list

z3 component is not listed. So when i try to build my project which uses z3 , its failing with error

ocamlfind: Package `Z3' not found.

I did the following workarounds, a) added the z3.exe location to path b) I ran the following python command, but i got an error message saying its not able to locate ocamlopt.exe path.

python scripts/mk_make.py --python.

Please provide some direction. I'm new to Ocaml and linux

Upvotes: 0

Views: 550

Answers (0)

Related Questions