SBV should be able to pick up Z3 from your path; make sure the "z3" executable is in it and you can invoke it from your shell. Alternatively, you can use the SBV_Z3 environment variable to point to the executable itself, if adding it to your path is not desirable for whatever reason. Let me know if you still have issues. -Levent. On Mon, Jul 1, 2013 at 5:34 AM, Johannes Waldmann < waldmann@imn.htwk-leipzig.de> wrote:
Unable to locate executable for z3
well, do you really have z3 in the $PATH? what does 'which z3' answer?
I used this for installation of z3: python scripts/mk_make.py --prefix=/usr/local
and note that the install script says:
Z3 shared libraries were installed at /usr/local/lib, make sure this directory is in your LD_LIBRARY_PATH environment variable.
- J.W.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe