0

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

harin04
  • 271
  • 5
  • 16
  • To enable the OCaml bindings, you want to add `--ml` to the call to `scripts/mk_make.py`. If it complains about `ocamlopt` not being found, something is wrong with your OCaml setup, or you may have to use the `OCAML...` (like `OCAMLOPT`) environment variables to tell it where your OCaml lives. – Christoph Wintersteiger Jan 14 '19 at 15:56
  • @ChristophWintersteiger I have created the environment variable. I tried with --ml. Im still facing the same issue. – harin04 Jan 15 '19 at 05:37
  • How did you install OCaml? – nekketsuuu Jan 17 '19 at 04:31
  • I installed using OPAM package for windows. – harin04 Jan 17 '19 at 06:44

0 Answers0